Skip to Main content Skip to Navigation
Conference papers

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

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

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⟩

Share

Metrics

Record views

27