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

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

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

Using Event-B for Critical Device Software Systems, Fachbücher

Model Checking for Game Design, Fachbücher

Coverage Metrics for Model Checking, Fachbücher

Critical mm-Wave Components for Synthetic Automatic Test Systems, Fachbücher

Test Case Generation using behavioral & Interaction models, Fachbücher von Durga Prasad Mohapatra

Automated Model-based Test Generation for Timed Systems, Fachbücher

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

Model-checking Infinite State Systems For Information Flow Security

Modern Advances in Intelligent Systems and Tools, Fachbücher von Wei Ding

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

Using Some Mathematical Models in Reliability Systems, Fachbücher

Model Checking and Artificial Intelligence, Fachbücher

A Critical Systems Approach to Socio-Ecological Systems, Fachbücher