Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefan...

Formal Methods for Industrial Critical Systems, Fachbücher von Maurice H. ter Beek, Dejan Nickovic

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci

Critical Systems: Formal Methods And Automated Verification Joint 22nd

From Software Engineering to Formal Methods and Tools, and Back, Fachbücher von Maurice H. ter Beek, Alessandro Fantechi...

Formal Methods - The Next 30 Years, Fachbücher von Annabelle McIver, Maurice H. ter Beek, José N. Oliveira

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Fachbücher von Bernhard Ste...

Formal Methods in Automated Design Debugging, Fachbücher

Formal Methods for Industrial Critical Systems, Fachbücher von Charles Pecheur, Michael Dierkes

Formal Methods for Industrial Critical Systems, Fachbücher von Jiri Barnat, Falk Howar

Formal Methods for Industrial Critical Systems, Fachbücher von Kim Guldstrand Larsen, Tim Willemse

Formal Methods for Industrial Critical Systems, Fachbücher von Alberto Lluch Lafuente, Anastasia Mavridou

Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Anna-Lena Lamprecht

Laure Petrucci (u. A.) | Critical Systems: Formal Methods And

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Fachbücher von Tiziana ...

Validation and Verification of Automated Systems, Fachbücher von Daniel Watzenig, Andrea Leitner, Javier Ibanez-Guzman