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]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00941007

Soumis le : lundi 3 février 2014-11:29:47

Dernière modification le : vendredi 5 janvier 2024-03:25:40

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N ANR NANTES-UNIVERSITE
141 Consultations
0 Téléchargements

Partager

More