Opacity problems in subclasses of timed automata
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Engel Lefaucheux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04631012
Soumis le : lundi 1 juillet 2024-17:18:10
Dernière modification le : lundi 2 décembre 2024-17:46:02
Dates et versions
Identifiants
- HAL Id : hal-04631012 , version 1
Citer
Étienne André, Sarah Dépernet, Engel Lefaucheux. Opacity problems in subclasses of timed automata. 2024. ⟨hal-04631012v1⟩
260
Consultations
170
Téléchargements