Sciweavers

26151 search results - page 369 / 5231
» Parameterized system design
Sort
View
177
Voted
ICFEM
2007
Springer
15 years 11 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
CBSE
2006
Springer
15 years 11 months ago
Architectural Building Blocks for Plug-and-Play System Design
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
DSN
2004
IEEE
15 years 11 months ago
Automated System Design for Availability
G. John Janakiraman, Jose Renato Santos, Yoshio Tu...