Sciweavers

26151 search results - page 369 / 5231
» Parameterized system design
Sort
View
ICFEM
2007
Springer
15 years 10 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
125
Voted
CONIELECOMP
2004
IEEE
15 years 10 months ago
Tlahuilli-ce - A Novel Solar Energy Program for the Design of Photovoltaic Systems
Eduardo Díaz-Escobar, Liliana Díaz-O...
CBSE
2006
Springer
15 years 10 months ago
Architectural Building Blocks for Plug-and-Play System Design
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
107
Voted
DSN
2004
IEEE
15 years 10 months ago
Automated System Design for Availability
G. John Janakiraman, Jose Renato Santos, Yoshio Tu...