Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.

Mahesh Viswanathan, Moonzoo Kim

Browse the full ICTAC paper archive.