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

Formal Techniques for Safety-Critical Systems, Fachbücher

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

Formal Techniques For Safety-critical Systems Third International

Peter Csaba Ölveczky (u. A.) | Formal Techniques For Safety-critical

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

Formal Techniques for Networked and Distributed Systems - FORTE 2007, Fachbücher

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

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

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 Kim Guldstrand Larsen, Tim Willemse

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

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 Alexandra Silva, Ahmed Bouajjani

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