Sciweavers

13631 search results - page 152 / 2727
» Event-Based Performance Analysis
Sort
View
FSEN
2009
Springer
14 years 2 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane