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 21st

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

Formal Methods for Industrial Critical Systems, Fachbücher

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification, Fachbücher von Tiziana Margaria, B...

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

Web Services and Formal Methods, Fachbücher von Maurice H. ter Beek, Niels Lohman

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

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

Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue