Temporal Verification of Reactive Systems, Fachbücher von Amir Pnueli, Zohar Manna

Amir Pnueli (u. A.) | Temporal Verification Of Reactive Systems |

Temporal Verification Of Reactive Systems Safety 2578

Amir Pnueli (u. A.) | The Temporal Logic Of Reactive And Concurrent

Klaus Schneider | Verification Of Reactive Systems | Buch | Englisch

Verification of Reactive Systems, Fachbücher von Klaus Schneider

The Calculus Of Computation | Zohar Manna (u. A.) | Taschenbuch |

Aaron R. Bradley Zohar Manna The Calculus Of Computation (gebundene

Verification of Digital and Hybrid Systems, Fachbücher

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

Reactive Flow Modeling of Hydrothermal Systems, Fachbücher von Michael Kühn

Djones Lettnin | Verification Of Temporal Properties In Embedded

Mechanical Verification of Parameterized Real-Time Systems, Fachbücher von Thomas Göthel

Temporal Information Systems in Medicine, Fachbücher

Verification Of Temporal Properties In Embedded Software Based On

Formation of Spatio-temporal Patterns in Stochastic Nonlinear Systems, Fachbücher von Felix Müller