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 (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
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.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Stephan Merz (auth.), Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.)
search