Model Checking Software, Fachbücher von Anton Wijs, Dragan Bosnacki

Model Checking Software, Fachbücher von Ana Sokolova, Alfons Laarman

Model Checking Software, Fachbücher von Ezio Bartocci, C. R. Ramakrishnan

Formalization and Model Checking of Software Architectural Style, Fachbücher

Model Checking Software, Fachbücher von Pedro Merino, María del Mar Gallardo

Model Checking Software, Fachbücher von Axel Legay, Fabrizio Biondi, Thomas Given-Wilson

Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch

Improving Scalability Of Model Checking Software Architectures A

Stefan Edelkamp (u. A.) | Model Checking Software | Taschenbuch |

Model Checking Software 16th International Spin Workshop, Grenoble,

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

Model Checking and Artificial Intelligence, Fachbücher

Model Checking Software 26th International Symposium, Spin 2019,

Bosah Chukwuogo | Improving Scalability Of Model Checking Software

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |

Some Software Reliability Models, Fachbücher von Nikolay Pavlov, Asen Rahnev, Anton Iliev, Nikolay Kyurkchiev