BraceAssertion: Runtime Verification of Cyber-Physical Systems
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Xi Zheng,C. Julien,R. Podorozhny,F. Cassez
2015 · DOI: 10.1109/MASS.2015.15
25 Citations
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Xi Zheng,C. Julien,R. Podorozhny,F. Cassez