Formal Analysis of Control Software for Cyber-Physical Systems.

Peter Herrmann Jan Olaf Blech

Published in: QRS Companion (2017)

Keyphrases

formal analysis
control software
cyber physical systems
cyber physical
physical world
cyber security
control system
critical infrastructure
embedded systems
formal methods
social networks
agent model
real time
ban logic
power consumption
virtual world
knowledge representation
artificial intelligence