Title | On the Correctness of Model Transformations in the Development of Embedded Systems |
Publication Type | Book Chapter |
Year of Publication | 2007 |
Authors | Karsai, G., and A. Narayanan |
Book Title | Lecture Notes in Computer Science |
Volume | 4888 |
Publisher | Springer |