Automatic Verification of Component-Based Real-Time CORBA Applications.

Gabor Madl, Sherif Abdelwahed, Gabor Karsai

Browse the full RTSS paper archive.