Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.

Zonghua Gu, Kang G. Shin

Browse the full ISORC paper archive.