Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00694969
Contributor : Antoine Rollet Connect in order to contact the contributor
Submitted on : Monday, May 7, 2012 - 11:33:58 AM
Last modification on : Saturday, June 25, 2022 - 10:32:59 AM

Identifiers

  • HAL Id : hal-00694969, version 1

Collections

CNRS

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. ⟨hal-00694969⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

27

 

Contact                    Legal Notice                    Personal Data