BraceAssertion: Runtime Verification of Cyber-Physical Systems.

Xi Zheng Christine Julien Rodion M. Podorozhny Franck Cassez

Published in: MASS (2015)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
embedded systems
social networks
real time
low cost
decision making