Home Advanced Search

Advanced Search - Page 1

Modeling and Verification of Real-time Systems
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Stephan Merz
Automotive Embedded Systems Handbook
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Francoise Simonot-Lion
Automotive Embedded Systems Handbook
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Navet, Francoise Simonot-Lion
Automotive Embedded Systems Handbook (Industrial Information Technology)
  • PDF
  • English
  • Year: 2008
  • Author: Nicolas Navet, Francoise Simonot-Lion
Automotive Embedded Systems Handbook
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Navet, Francoise Simonot-Lion
Temporal Logic and State Systems
  • PDF
  • English
  • Year: 2008
  • Author: Fred Kroger, Stephan Merz
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Jasmin Christian Blanchette, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
search