Formal Techniques for Safety-Critical Systems, Fachbücher von Osman Hasan, Frédéric Mallet

Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Formal Techniques For Safety-critical Systems 6th International

Formal Techniques For Safety-critical Systems | Peter Csaba Ölveczky

Formal Methods for Industrial Critical Systems, Fachbücher

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Fachbücher von Osman Hasan, Asad Ahmed, Nabi...

Formal Techniques for Distributed Systems, Fachbücher von Dirk Beyer, Michele Boreale

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

A Study on Safety Metrics for Safety-Critical Computer Systems, Fachbücher von Kotti Jayasri

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

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 Maurice H. ter Beek, Dejan Nickovic

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman