Automatic Verification of Component-Based Real-Time CORBA Applications
Thu, 06/12/2008 - 11:50am
| Title | Automatic Verification of Component-Based Real-Time CORBA Applications |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Madl, G., S. Abdelwahed, and G. Karsai |
| Conference Name | the 25th IEEE International Real-Time Systems Symposium |
| Date Published | December |
| Conference Location | Lisbon, Portugal |
| Full Text |
| Attachment | Size |
|---|---|
| ISIS_12_0_2004_Automatic_.pdf | 1.56 MB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering