SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems

Submitted by lahdakadmin on Mon, 03/20/2017 - 18:07
TitleSAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems
Publication TypeConference Paper
Year of Publication2016
AuthorsIbrahim, H, Dague, P, Simon, L
Conference Name{8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}
Date PublishedAug
Conference LocationRome, Italy
URLhttps://hal.archives-ouvertes.fr/hal-01483428