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

Formal Techniques For Safety-critical Systems Peter Csaba Ölveczky (u.

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

Formal Techniques For Safety-critical Systems 7th International

Formal Methods for Industrial Critical Systems, Fachbücher

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

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

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

Formal Aspects of Component Software, Fachbücher von Kyungmin Bae, Peter Csaba Ölveczky

Software Engineering and Formal Methods, Fachbücher von Gwen Salaün, Peter Csaba Ölveczky

Formal Aspects of Component Software, Fachbücher von Peter Csaba Ölveczky, Christiano Braga

Formal Aspects of Component Software, Fachbücher von Farhad Arbab, Peter Csaba Ölveczky

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

Designing Reliable Distributed Systems, Fachbücher von Peter Csaba Ölveczky