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

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

Embedded Software, Fachbücher

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

Synthesis of Embedded Software, Fachbücher von Sandeep Kumar Shukla

Systems and Software Verification, Fachbücher