A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis (Q5423879)
From MaRDI portal
scientific article; zbMATH DE number 5207671
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis |
scientific article; zbMATH DE number 5207671 |
Statements
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis (English)
0 references
1 November 2007
0 references
