Communication Dans Un Congrès
Année : 2011
Antoine Rollet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00694969
Soumis le : lundi 7 mai 2012-11:33:58
Dernière modification le : vendredi 24 mars 2023-14:52:55
Dates et versions
Identifiants
- HAL Id : hal-00694969 , version 1
Citer
Omer Landry Nguena Timo, Antoine Rollet. A zone-based reachability analysis of variable driven timed automata.. 3rd International Conference on Advances in System Testing and Validation Lifecycle VALID 2011, Oct 2011, Barcelona, Spain. ⟨hal-00694969⟩
Collections
28
Consultations
0
Téléchargements