OtiumSessione
Sessione
Non abbiamo ancora una biografia di Doron A. Peled.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Model checking
2018
Software Reliability Methods
2013
Computer aided verification
2004
Automated Technology for Verification and Analysis
2005
Verification, Model Checking, and Abstract Interpretation
2008
Time for Verification
2010
Time For Verification Essays In Memory Of Amir Pnueli
2010
Software Reliability Methods (Texts in Computer Science)
2001
Model Checking and Artificial Intelligence
2009
Formal Techniques for Networked and Distributed Systems - FORTE 2002
2003