Integer Parameter Synthesis for Timed Automata

Abstract : Integer Parameter Synthesis for Timed Automata
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00941007
Contributor : Olivier Henri Roux <>
Submitted on : Monday, February 3, 2014 - 11:29:47 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00941007, version 1

Collections

Citation

Aleksandra Jovanovic, Didier Lime, Olivier Henri Roux. Integer Parameter Synthesis for Timed Automata. 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Mar 2013, Rome, Italy. pp.401-415. ⟨hal-00941007⟩

Share

Metrics

Record views

221