A Retrospective Look at the Monitoring and Checking (MaC) Framework.

Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Browse the full RV paper archive.