Home Advanced Search

Advanced Search - Page 1

Embedded Systems: Analysis and Modeling with SysML, UML and AADL
  • EPUB
  • English
  • Year: 2013
  • Author: Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (editors)
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
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
Dictionnaire du renseignement
  • PDF
  • French
  • Year: 2018
  • Author: Hugues Moutouh; Jérôme Poirot
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
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
search