Conference Papers
Year : 2016
Philippe Dague : Connect in order to contact the contributor
https://hal.science/hal-01483428
Submitted on : Sunday, March 5, 2017-7:54:17 PM
Last modification on : Friday, March 24, 2023-2:53:04 PM
Dates and versions
Identifiers
- HAL Id : hal-01483428 , version 1
Cite
Hassan Ibrahim, Philippe Dague, Laurent Simon. SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems. 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy. ⟨hal-01483428⟩
Collections
154
View
0
Download