Sciweavers

2960 search results - page 25 / 592
» A vision for embedded software
Sort
View
AADEBUG
2000
Springer
13 years 12 months ago
Extension Language Automation of Embedded System Debugging
Dale E. Parson, Bryan Schlieder, Paul Beatty
CODES
1998
IEEE
13 years 12 months ago
An analysis-based approach to composition of distributed embedded systems
2.1 Modal processes
Pai H. Chou, Gaetano Borriello
LCTRTS
1999
Springer
13 years 12 months ago
Performance Re-engineering of Embedded Real-Time Systems
Minsoo Ryu, Jungkeun Park, Kimoon Kim, Yangmin Seo...
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...