Critical Systems Formal Methods and Automated Verification Joint

Critical Systems: Formal Methods and Automated Verification - 9783319459424

Petrucci - Critical Systems Formal Methods and Automated Verification - X555z

Kropf - Formal Hardware Verification Methods and Systems in Comparis - X555z

Schneider - Verification of Reactive Systems Formal Methods and Algo - X555z

Critical Systems - Formal Methods and Automated Verification : Joint 22nd Int...

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

ter Beek - From Software Engineering to Formal Methods and Tools and - X555z