Home Advanced Search

Advanced Search - Page 1

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
25 Years of Model Checking History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Grumberg, Orna.;Veith, Helmut
软件可靠性方法
  • PDF
  • Chinese
  • Year: 2012
  • Author: Doron A. Peled
Handbook of model checking
  • PDF
  • English
  • Year: 2018
  • Author: Bloem, Roderick; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut et al. (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.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Language Ethics
  • PDF
  • English
  • Year: 2020
  • Author: Yael Peled (editor); Daniel M. Weinstock (editor)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2017
  • Author: Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
Dependable software systems engineering
  • PDF
  • English
  • Year: 2016
  • Author: Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
search