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

Omer Landry Nguena Timo 1 Antoine Rollet 1
1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
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

LABRI | UNIV-BORDEAUX

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

41

Contact


archive-ouverte@inria.fr