Livres de Orna Grumberg - BookPine

Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke Jr.

Software Systems Safety

Software Systems Safety

Orna Grumberg

Software Safety and Security: Tools for Analysis and Verification

Tobias Nipkow

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Javier Esparza

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424.

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424.

Orna Grumberg

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Orna Grumberg

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ...

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ...

Orna Grumberg

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings

Orna Grumberg

Model Checking

Model Checking

Edmund M. Clarke Jr.