Sciweavers

2861 search results - page 28 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
ICFEM
2007
Springer
14 years 19 days ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...