Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking
Thu, 06/12/2008 - 11:50am
| Title | Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking |
| Publication Type | Journal Article |
| Year of Publication | 2005 |
| Authors | Madl, G., S. Abdelwahed, and D. C. Schmidt |
| Journal | International Journal of Time-Critical Computing Systems |
| Full Text |
| Attachment | Size |
|---|---|
| Madl_G_0_0_2005_Verifying_.pdf | 525.32 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering