On the use of Graph Transformations in the Formal Specification of Computer-Based Systems
Thu, 06/12/2008 - 11:50am
| Title | On the use of Graph Transformations in the Formal Specification of Computer-Based Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle |
| Conference Name | IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems |
| Date Published | April |
| Conference Location | Huntsville, Alabama |
| Full Text |
| Attachment | Size |
|---|---|
| Karsai_G_4_9_2003_On_the_use.pdf | 224.67 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering