Sciweavers

1980 search results - page 54 / 396
» Compositional Model Checking of Real Time Systems
Sort
View
ASWSD
2006
Springer
15 years 3 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 3 months ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003