Sciweavers

923 search results - page 29 / 185
» Component-based software engineering for embedded systems
Sort
View
76
Voted
ICFEM
2007
Springer
15 years 3 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 1 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 6 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...