Home Advanced Search

Advanced Search - Page 1

Formal Logical Methods for System Security and Correctness
  • PDF
  • English
  • Year: 2008
  • Author: Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
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.)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2016
  • Author: Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
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.)
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.)
Model Checking
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Model Checking (Cyber Physical Systems Series)
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Don't Say I Do!: Why Women Should Stay Single
  • EPUB
  • English
  • Year: 2012
  • Author: Orna
search