SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2016
Not file

Dates and versions

hal-01483428 , version 1 (05-03-2017)

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⟩
153 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More