A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems.

Peter Herrmann Jan Olaf Blech Fenglin Han Heinz W. Schmidt

Published in: Int. J. Web Serv. Res. (2016)

Keyphrases

cyber physical systems
cyber physical
decision support system
cyber security
real time
data mining
data analysis
intrusion detection