Sciweavers

923 search results - page 29 / 185
» Component-based software engineering for embedded systems
Sort
View
ICFEM
2007
Springer
13 years 11 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
EMSOFT
2008
Springer
13 years 9 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
QSIC
2008
IEEE
14 years 2 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...