Reading Length
Home
Speed Tests
Login
Doron A. Peled
Identifiers
Open Library
OL2683481A
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 Checking
The MIT Press
1999-01-07
Software Reliability Methods (Texts in Computer Science)
Springer
2001-06-26
Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Springer London, Limited
2003-01-01
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Springer London, Limited
2004-01-01
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Springer London, Limited
2005-01-01
Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Springer
2009-01-01
Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Springer London, Limited
2009-01-01
Time for Verification
Essays in Memory of Amir Pnueli
Springer London, Limited
2010-01-01
Software Reliability Methods
Brand: Springer
2011-10-09
