On the Correctness of Model Transformations in the Development of Embedded Systems
Thu, 06/12/2008 - 11:50am
| 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 |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering