Johannes Frederik Jesper Traub | Formal Verification Of Concurrent

Formal Verification Of Concurrent Embedded Software | Traub |

Verification Of Sequential And Concurrent Programs 1319

Diyaa Atiya | Cost-effective Verification Of Concurrent

Cost-effective Verification Of Concurrent Safety-critical Systems The

Rolf Drechsler | Formal Verification Of Circuits | Buch | Englisch

Gabriel Leen | Development And Formal Verification Of Ttcan |

Formal Verification Of Control System Software (princeton Series In

Leveraging Applications Of Formal Methods, Verification And

Automata Based Formal Approach For Verification Of Web Service

Jameleddine Hassine | Formal Semantics And Verification Of Use Case

Development And Formal Verification Of Ttcan Time-triggered Controller

Danapaquiame N. | Automata Based Formal Approach For Verification Of

Formal Semantics And Verification Of Use Case Maps An Early Stages

Pierre-loïc Gar Formal Verification Of Control S (gebundene Ausgabe)

Formal Verification Of Space Missions Communication Protocols In The