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

Model-checking Infinite State Systems For Information Flow Security

Model-checking infinite state systems for information flow security, Fachbücher

Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

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 |

Using Model Checking to Generate Test Cases for Critical Systems, Fachbücher von Wei Ding

Model Checking Trace-based Information Flow Properties For Finite

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

Hana Chockler | Coverage Metrics For Model Checking | Taschenbuch |

Kotlin For Enterprise Applications Using Java Ee Raghavendra K Rao