Sciweavers

2811 search results - page 129 / 563
» Real-Time Component-Based Systems
Sort
View
ASWSD
2006
Springer
14 years 1 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»
14 years 1 months ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003
FM
2006
Springer
97views Formal Methods» more  FM 2006»
14 years 1 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman