5525 search results - page 2 / 1105 » Verification of Model Transformations |
101
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
82
Voted
VTS
2000
IEEE
15 years 3 months ago
2000
IEEE
66
Voted
IJPP
2006
14 years 11 months ago
2006
59
Voted
ECEASST
2010
14 years 9 months ago
2010