Filtrer vos résultats
- 5
- 1
- 5
- 1
- 6
- 1
- 3
- 2
- 6
- 5
- 5
- 2
- 6
- 4
- 4
- 2
- 2
- 1
6 résultats
|
|
triés par
|
Using Incremental SAT for Testing Diagnosability of Distributed DES26th International Workshop on Principles of Diagnosis DX’15, Aug 2015, Paris, France
Communication dans un congrès
hal-01276923v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems27th International Workshop on Principles of Diagnosis DX’16, Oct 2016, Denver, United States
Communication dans un congrès
hal-01483420v1
|
|||
SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy
Communication dans un congrès
hal-01483428v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States
Communication dans un congrès
hal-01483416v1
|
|||
|
SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event SystemsArtificial Intelligence [cs.AI]. Université Paris-Saclay, 2016. English. ⟨NNT : ⟩
Thèse
tel-01486738v1
|
||
Using Incremental SAT for Testing Diagnosability of Distributed DES26th International Workshop on Principles of Diagnosis DX’15, Sep 2015, Paris, France
Communication dans un congrès
hal-01483434v1
|