Sciweavers

15777 search results - page 333 / 3156
» Engineering in Software
Sort
View
122
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
A metamodel for the notation of graphical modeling languages
Xiao He, Zhiyi Ma, Weizhong Shao, Ge Li
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...