Doron A. Peled
Identifiers
- Open LibraryOL2683481A
Top Subjects
- Computer modelling & simulation (1)
- Programming Languages - General (1)
- Programming - Systems Analysis & Design (1)
- Verification (1)
- Computers - Languages / Programming (1)
- Computer Science (1)
- Computer Programming (1)
Books by Doron A. Peled
Total count: 9
Model CheckingThe MIT Press1999-01-07
Software Reliability Methods (Texts in Computer Science)Springer2001-06-26-
Formal Techniques for Networked and Distributed Systems - FORTE 200222nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsSpringer London, Limited2003-01-01
-
Computer Aided Verification16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsSpringer London, Limited2004-01-01
-
Automated Technology for Verification and AnalysisThird International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, ProceedingsSpringer London, Limited2005-01-01
-
Model Checking and Artificial Intelligence5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited PapersSpringer2009-01-01
-
Runtime Verification9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected PapersSpringer London, Limited2009-01-01
-
Time for VerificationEssays in Memory of Amir PnueliSpringer London, Limited2010-01-01
Software Reliability MethodsBrand: Springer2011-10-09