Menu Close

International Journal of Time-Critical Computing Systems

G. Madl, S. Abdelwahed, and D. Schmidt,¬†“Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking,”¬†International Journal of Time-Critical Computing Systems, invited paper, 2005.
download pdf