BraceAssertion: Runtime Verification of Cyber-Physical Systems.

Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez

Browse the full MASS paper archive.