80
Voted
EMSOFT
2008
Springer
15 years 18 days ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...