Formal Specification-based Online Monitoring.

Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora

Browse the full ICECCS paper archive.