Home Advanced Search

Advanced Search - Page 1

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
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
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
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