Formal Techniques for Safety-Critical Systems, Fachbücher

Formal Techniques For Safety-critical Systems 7th International

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

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

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

Formal Techniques for Distributed Systems, Fachbücher von David Lee, Arnd Poetzsch-Heffter

Safety-Critical Real-Time Systems, Fachbücher

Scalable Techniques for Formal Verification, Fachbücher

Formal Techniques For Distributed Objects, Components, And Systems

Cost-Effective Verification of Concurrent Safety-Critical Systems, Fachbücher

Formal Methods For Industrial Critical Systems 19th International

Learnability Results for Elementary Formal Systems, Fachbücher

Safety-Critical Systems: Problems, Process and Practice, Fachbücher von TOM ANDERSON

Formal Methods For Industrial Critical Systems Francesco Flammini (u.

A Surveillance Unit for Safety-Critical Machines, Fachbücher

Formal Semantics and Proof Techniques for Optimizing VHDL Models, Fachbücher