Similar Listings
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
Systems and Software Verification: Model-Checking Techniques and Tools by Berard
Systems and Software Verification: Model-Checking Techniques and Tools
Safety Instrumented System Design: Techniques and Design Verification
Modeling and Verification of Real-time Systems: Formalisms and Software Tools b
Berard - Systems and Software Verification Model-Checking Techniques - X555z
Berard - Systems and Software Verification Model-Checking Techniques - X555z
Embedded Systems Design: An Introduction to Processes, Tools, and Techniques by