Model Checking for Game Design, Fachbücher von Giridhar Hariharan

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

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

Model Checking and Artificial Intelligence, Fachbücher

Verification, Model Checking, and Abstract Interpretation, Fachbücher

Coverage Metrics for Model Checking, Fachbücher von Hana Chockler

Contract Checking for Feldspar, Fachbücher

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

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

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

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

Model Checking Statistique pour les Systèmes Larges, Fachbücher von Diana ElRabih

Coverage Metrics For Model Checking | Hana Chockler | Englisch |

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

Model Checking Trace-based Information Flow Properties For Finite

Model-checking Infinite State Systems For Information Flow Security