Sciweavers

19587 search results - page 47 / 3918
» Systems Engineering for software Engineers
Sort
View
ICFEM
2007
Springer
15 years 5 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ARCS
2004
Springer
15 years 5 months ago
Fault Tolerance in a DSM Cluster Operating System
Michael Schöttner, Stefan Frenz, Ralph Gö...
CODES
2001
IEEE
15 years 5 months ago
Minimizing system modification in an incremental design approach
Paul Pop, Petru Eles, Traian Pop, Zebo Peng