Raghavendra K. R. | Model-checking Infinite State Systems For

Model-checking Infinite State Systems For Information Flow Security

Model Checking Abstract State Machines 6717

Using Model Checking To Generate Test Cases For Critical Systems | Wei

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Model Checking Quantum Systems | Mingsheng Ying (u. A.) | Englisch |

Model-checking Quantum Systems: Principles And Algorithms By Ying

Sriram K. Rajamani (u. A.) | Model Checking Software | Taschenbuch |

Model Checking Trace-based Information Flow Properties For Finite

Hana Chockler | Coverage Metrics For Model Checking | Taschenbuch |

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

Rotational Isomeric State Models In Macromolecular Systems 2339

Symbolisches Model Checking Variabler Verhaltensspezifikationen

M R Tehranchi (u. A.) | Interest Rate Models: An Infinite

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch