Sciweavers

3389 search results - page 217 / 678
» Real-Time and Fault-Tolerant Systems
Sort
View
FSEN
2009
Springer
15 years 10 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
ASWSD
2006
Springer
15 years 10 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
DATE
2004
IEEE
133views Hardware» more  DATE 2004»
15 years 10 months ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003