Sciweavers

7380 search results - page 58 / 1476
» Engineering Software Intensive Systems
Sort
View
ICFEM
2007
Springer
14 years 22 days ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ARCS
2004
Springer
14 years 19 days ago
Fault Tolerance in a DSM Cluster Operating System
Michael Schöttner, Stefan Frenz, Ralph Gö...
CODES
2001
IEEE
14 years 16 days ago
Minimizing system modification in an incremental design approach
Paul Pop, Petru Eles, Traian Pop, Zebo Peng