Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Sibylle Fröschle
Festschrift Symposium in Honour of Ernst-Rüdiger Olderog
2015
inproceedings
Springer-Verlag
LNCS
83-98
CSE
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems
Meyer, Roland and Platzer, André and Wehrheim, Heike
9360