Doron A. Peled
Doron A. Peled
6 ספרים במאגר
ספרים
Software Reliability MethodsDoron A. Peled
Software Reliability Methods
Doron A. Peled · 2013
Automated Technology for Verification and AnalysisDoron A. Peled
Automated Technology for Verification and Analysis
Doron A. Peled · 2005
Software Reliability Methods (Texts in Computer Science)Doron A. Peled
Software Reliability Methods (Texts in Computer Science)
Doron A. Peled · 2001
Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled · 2010
Model Checking and Artificial IntelligenceDoron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled · 2009
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled · 2003
ספרים משותפים ואוספים
ספרים שבהם Doron A. Peled מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Computer aided verificationRajeev Alur
Computer aided verification
Rajeev Alur · 2004
Model checkingEdmund M. Clarke Jr.
Model checking
Edmund M. Clarke Jr. · 1999
Time for VerificationZohar Manna
Time for Verification
Zohar Manna · 2010
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo · 2008