Temporal Properties in Component-Based Cyber Physical Systems - Appendix.

Tobias Sehnke Matthias Schultalbers Rolf Ernst

Published in: CoRR (2017)

Keyphrases

temporal properties
cyber physical systems
cyber physical
model checking
physical world
cyber security
formal methods
possibility theory
embedded systems
social networks
critical infrastructure
real time
software development
data analysis
multi agent
bayesian networks
knowledge base