Similar Listings
Systems and Software Verification: Model-Checking Techniques and Tools Berard, B
Verification and Validation of Modern Software-Intensive Systems
Verification and Validation of Modern Software-Intensive Systems
Advanced Verification Techniques: A SystemC Based Approach By Leena Singh
SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001
Modeling and Verification of Real-time Systems: Formalisms and Software Tools b
Systems and Software Verification : Model-Checking Techniques and Tools, Hard...
Systems and Software Verification : Model-Checking Techniques and Tools, Hard...