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

Formal Techniques For Safety-critical Systems 7th International

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 Methods For Industrial Critical Systems | Dejan Ni¿kovi¿ (u.

Peter Csaba Ölveczky (u. A.) | Formal Aspects Of Component Software |

Formal Methods For Industrial Critical Systems 24th International

Formal Techniques For Distributed Objects, Components, And Systems

A Study On Safety Metrics For Safety-critical Computer Systems Kotti

Formal Techniques For Distributed Systems Joint Ifip Wg 6.1

Formal Techniques For Networked And Distributed Systems Forte 2001

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

Designing Reliable Distributed Systems Peter Csaba Ölveczky

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical