Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01483428
Contributor : Philippe Dague <>
Submitted on : Sunday, March 5, 2017 - 7:54:17 PM
Last modification on : Wednesday, September 16, 2020 - 5:45:49 PM

Identifiers

  • HAL Id : hal-01483428, version 1

Citation

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⟩

Share

Metrics

Record views

233