] Filters: Author is Madl, Gabor [Clear All Filters]
"Model Based Analysis of Distributed Realtime Embedded System Composition",
ACM Conference on Embedded Software (EMSOFT '05), Jersey City, New Jersey, September, 2005.
Download: Abdelwahed_S_9_0_2005_Model_Base.pdf (643.18 KB)
"Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking",
International Journal of Time-Critical Computing Systems, 2005.
Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering