Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT.

Martín Barrère Chris Hankin

Published in: ACM Trans. Cyber Phys. Syst. (2021)

Keyphrases

mission critical
cyber physical systems
cyber physical
real time systems
data centric
social networks
cyber security
physical world
data center
database
critical infrastructure
embedded systems
computer systems
data driven
open source
software engineering
mobile devices
database systems
real time