Doron A. Peled

· 10 obras en el catálogo

Obras

Automated Technology for Verification and Analysis

Computer aided verification

Time For Verification Essays In Memory Of Amir Pnueli

Model checking

Software Reliability Methods

TTime for Verification

Time for Verification

FFormal Techniques for Networked and Distributed Systems - FO

Formal Techniques for Networked and Distributed Systems - FORTE 2002

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

MModel Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Software Reliability Methods (Texts in Computer Science)