Sciweavers

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