Catégorie Communication dans un congrè Auteurs Lina Ye Philippe Dague Delphine Longuet Laura Brandán Briones Agnes Madalinski https://hal.science/hal-01483424v1 doc ID 1483424 Nom Fault Manifestability Verification for Discrete Event Systems Date de publication ven 02/05/2025 - 12:00