25 Years of Model Checking, Fachbücher von Helmut Veith

Model Checking, Fachbücher

Computer Aided Verification, Fachbücher von Helmut Veith

Model Checking Software, Fachbücher

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

Model Checking and Artificial Intelligence, Fachbücher

Model Checking for Game Design, Fachbücher

Model Checking Abstract State Machines, Fachbücher

Coverage Metrics for Model Checking, Fachbücher

Model Checking and Artificial Intelligence, Fachbücher von Michael Wooldridge

Model checking trace-based information flow properties, Fachbücher

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

Abstraction Refinement for Large Scale Model Checking, Fachbücher von Chao Wang

25 Years of Non-Equilibrium Statistical Mechanics, Fachbücher

Improving Scalability Of Model Checking Software Architectures A

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