Similar Listings
Verification and Validation of Modern Software-Intensive Systems
Modeling and Verification of Real-time Systems: Formalisms and Software Tools b
Modeling and Verification of Real-time Systems: Formalisms and Software Tools by
Verification and Validation of Modern Software-Intensive Systems
Systems and Software Verification: Model-Checking Technique
Systems and Software Verification: Model-Checking Techniques and Tools Berard, B
Verification and Evaluation of Computer and Communication Systems : 14th Inte...
Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...