Home Advanced Search

Advanced Search - Page 1

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Roland Meyer, André Platzer, Heike Wehrheim (eds.)
Logical Foundations of Cyber-Physical Systems
  • PDF
  • English
  • Year: 2018
  • Author: André Platzer
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Heike Wehrheim
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • PDF
  • English
  • Year: 2010
  • Author: André Platzer (auth.)
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • PDF
  • English
  • Year: 2010
  • Author: André Platzer (auth.)
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari (auth.), Roberto Gorrieri, Heike Wehrheim (eds.)
Shopping Malls: InterdisziplinÄre Betrachtungen eines neuen Raumtyps
  • PDF
  • German
  • Year: 2007
  • Author: Jan Wehrheim (auth.), Jan Wehrheim (eds.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  • PDF
  • English
  • Year: 1998
  • Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
search