A zone-based reachability analysis of variable driven timed automata.

Type de document :
Communication dans un congrès
3rd International Conference on Advances in System Testing and Validation Lifecycle VALID 2011, Oct 2011, Barcelona, Spain. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00694969
Contributeur : Antoine Rollet <>
Soumis le : lundi 7 mai 2012 - 11:33:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17

Identifiants

  • HAL Id : hal-00694969, version 1

Collections

Citation

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. 2011. 〈hal-00694969〉

Partager

Métriques

Consultations de la notice

46