Sciweavers

923 search results - page 5 / 185
» Component-based software engineering for embedded systems
Sort
View
62
Voted
CBSE
2008
Springer
14 years 11 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
13 years 9 months ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...