Communication Dans Un Congrès
Année : 2015
Philippe Dague : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01276923
Soumis le : dimanche 21 février 2016-13:23:20
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01276923 , version 1
Citer
Hassan Ibrahim, Laurent Simon. Using Incremental SAT for Testing Diagnosability of Distributed DES. 26th International Workshop on Principles of Diagnosis DX’15, Aug 2015, Paris, France. ⟨hal-01276923⟩
Collections
24
Consultations
0
Téléchargements