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

Sichere Konfigurationsplanung Adaptiver Systeme Durch Model Checking

Using Event-b For Critical Device Software Systems 2175

Critical Success Factors For Business Intelligence Systems Case

Critical Mm-wave Components For Synthetic Automatic Test Systems 2889

Model-checking Infinite State Systems For Information Flow Security

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

Automated Model-based Test Generation For Timed Systems An Overview

Hana Chockler | Coverage Metrics For Model Checking | Taschenbuch |

Unfoldings A Partial-order Approach To Model Checking 1220

Using Weighted Constraints To Build Tutoring Systems A Study Case In

Using Simulation Tools To Model Renewable Resources The Case Of The

Symbolisches Model Checking Variabler Verhaltensspezifikationen

A Critical Systems Approach To Socio-ecological Systems Implications

Shih-wei Hsu | Towards A Critical Approach To Knowledge Management |

Model Checking Abstract State Machines 6717