Communication Dans Un Congrès
Année : 2018
Philippe Dague : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01676889
Soumis le : samedi 6 janvier 2018-17:20:50
Dernière modification le : mercredi 3 avril 2024-11:14:12
Dates et versions
Identifiants
- HAL Id : hal-01676889 , version 1
Citer
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. 28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143. ⟨hal-01676889⟩
Collections
346
Consultations
0
Téléchargements