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

Embedded Systems Design: An Introduction to Processes, Tools, and Techniques by