Towards Scenario–Based Synthesis for Parametric Timed Automata

Giese, Holger

by Holger Giese

Reference:

Towards Scenario–Based Synthesis for Parametric Timed Automata (Holger Giese), In Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8), 2003.

Bibtex Entry:

@InProceedings{hni1545,
AUTHOR = {Giese, Holger},
TITLE = {{Towards Scenario--Based Synthesis for Parametric Timed Automata}},
YEAR = {2003},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8)},
PDF = {uploads/pdf/Giese_TSBSPTA.pdf},
KEYWORDS = {Scenario-Based Synthesis, Timed Automaton, WCET}
}