Catégorie Autre publication scientifique Auteurs Herve Gueguen https://hal.science/hal-00689950v1 doc ID 689950 Nom Calculs d'atteignabilités pour les vérifications de sûreté des systèmes hybrides Date de publication ven 24/03/2023 - 12:00