Home Advanced Search

Advanced Search - Page 1

Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Models and Analysis for Distributed Systems
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Formal Methods for Embedded Distributed Systems : How to master the complexity
  • PDF
  • English
  • Year: 1991
  • Author: Fabrice Kordon and Michel Lemoine
Formal methods for embedded distributed systems: how to master the complexity
  • PDF
  • English
  • Year: 2004
  • Author: Fabrice Kordon, Michel Lemoine
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Programming and Software Engineering)
  • PDF
  • English
  • Year: 2007
  • Author: Fabrice Kordon, Janos Sztipanovits
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Luca Bernardinello, Laure Petrucci
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
  • PDF
  • English
  • Year: 2019
  • Author: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
  • MOBI
  • English
  • Year: 2013
  • Author: Fabrice Kordon, J?r?me Hugues, Agusti Canals, Alain Dohet
search