Model Checking Real-Time Component Based Systems with Blackbox Testing.

Dang Van Hung, Bui Vu Anh

Browse the full RTCSA paper archive.