On the Correctness of Model Transformations in the Development of Embedded Systems | |
---|---|
Author | |
Year of Publication |
2007
|
Book Title |
Lecture Notes in Computer Science
|
Volume |
4888
|
Publisher |
Springer
|
Google Scholar | BibTeX | XML |