Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122).

Rupak Majumdar Richard M. Murray Pavithra Prabhakar

Published in: Dagstuhl Reports (2014)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
critical infrastructure
real time
low cost
intrusion detection
embedded systems