Catégorie Communication dans un congrès Auteurs Hadi Zaatiti Lina Ye Philippe Dague Jean-Pierre Gallois https://hal.science/hal-01676889v1 doc ID 1676889 Nom Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis Date de publication mar 03/09/2024 - 12:00