Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Orna Grumberg, Michael Huth (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
Formal Logical Methods for System Security and Correctness
  • PDF
  • English
  • Year: 2008
  • Author: Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)
Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele
  • PDF
  • German
  • Year: 2016
  • Author: Michael Huth, Frank Romeike (eds.)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2016
  • Author: Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
Secure Communicating Systems: Design, Analysis, and Implementation
  • DJVU
  • English
  • Year: 2001
  • Author: Michael R. A. Huth
Risikomanagement der Gefahrgutbeförderung: Einsatzpotential eines GIS-basierten Entscheidungsunterstützungssystems
  • PDF
  • German
  • Year: 2004
  • Author: Michael Huth (auth.)
search