Verifying Model Transformations by Structural Correspondence
Thu, 06/26/2008 - 12:15pm
| Title | Verifying Model Transformations by Structural Correspondence |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Narayanan, A., and G. Karsai |
| Journal | Electronic Communications of the EASST |
| Volume | 10 |
| Attachment | Size |
|---|---|
| 25_AN_GK.pdf | 394.52 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering