Towards foundational verification of cyber-physical systems.

Gregory Malecha Daniel Ricketts Mario M. Alvarez Sorin Lerner

Published in: SOSCYPS@CPSWeek (2016)

Keyphrases

source code
cyber physical systems
cyber physical
physical world
cyber security
embedded systems
critical infrastructure
real time
intrusion detection