Online Model Checking for Dependable Real-Time Systems.

Yuhong Zhao, Franz J. Rammig

Browse the full ISORC paper archive.