Verification of Temporal Properties in Embedded Software, Fachbücher

Verification Of Temporal Properties In Embedded Software Based On

Djones Lettnin | Verification Of Temporal Properties In Embedded

Temporal Verification of Reactive Systems, Fachbücher

Formal Verification Of Concurrent Embedded Software | Traub |

Functional Verification of Programmable Embedded Architectures, Fachbücher

The Syntax of Temporal Interpretation in Embedded Clauses, Fachbücher

Modal and Temporal Properties of Processes, Fachbücher

Temporal Logic in Finite-State Verification, Fachbücher

Embedded Systems: Design, Analysis and Verification, Fachbücher

Effective and Efficient Temporal Verification in Grid Workflow, Fachbücher

Embedded Software, Fachbücher

Spatio-temporal properties of the mammalian DNA damage response, Fachbücher

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems, Fachbücher

Verification of Object-Oriented Software. The KeY Approach, Fachbücher

Systems and Software Verification, Fachbücher