RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.

Usa Sammapun, Insup Lee, Oleg Sokolsky

Browse the full RTCSA paper archive.