Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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: 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
Algoritmi e Programmazione Esercizi
  • PDF
  • Italian
  • Year: 2013
  • Author: Paolo Enrico Camurati, Stefano Quer
Dependable software systems engineering
  • PDF
  • English
  • Year: 2016
  • Author: Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
STM and AFM Studies on (Bio)molecular Systems: Unravelling the Nanoworld
  • PDF
  • English
  • Year: 2008
  • Author: Hans Peter Lang, Christoph Gerber (auth.), Paolo Samorì (eds.)
Model Checking
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
search