SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems
Title | SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Ibrahim, H, Dague, P, Simon, L |
Conference Name | {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16} |
Date Published | Aug |
Conference Location | Rome, Italy |
URL | https://hal.archives-ouvertes.fr/hal-01483428 |
- Log in to post comments
- Google Scholar
- BibTeX