André Platzer: Logical foundations of cyber-physical systems.

Alexander Knapp Markus Roggenbach

Published in: Formal Aspects Comput. (2020)

Keyphrases

logical foundations
cyber physical systems
cyber physical
cyber security
physical world
active databases
embedded systems
social networks
critical infrastructure
intrusion detection