Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera.

Xian Li Kerstin Bauer Klaus Schneider

Published in: FedCSIS (2013)

Keyphrases

cyber physical systems
cyber physical
real time
data management
embedded systems
cyber security
decision making
data acquisition