Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).

Calin Belta Rupak Majumdar Majid Zamani Matthias Rungger

Published in: Dagstuhl Reports (2017)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
data processing
critical infrastructure
real time
social networks