Integer Parameter Synthesis for Timed Automata - Archive ouverte HAL
Communication Dans Un Congrès Lecture Notes in Computer Science Année : 2013

Integer Parameter Synthesis for Timed Automata

Résumé

Integer Parameter Synthesis for Timed Automata

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00941007 , version 1 (03-02-2014)

Identifiants

  • HAL Id : hal-00941007 , version 1

Citer

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⟩
141 Consultations
0 Téléchargements

Partager

More