کتاب های Orna Grumberg
Formal Logical Methods for System Security and Correctness
Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller, 2008
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.), 1995
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007
Model Checking (Cyber Physical Systems Series)
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, 2018
Software Systems Safety
O. Grumberg, 2014
A Mercadoria Mais Preciosa
Jean-Claude Grumberg
