Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Export

All authors

Sibylle Fröschle

Booktitle

Festschrift Symposium in Honour of Ernst-Rüdiger Olderog

Publishing date

2015

Type of Publication

inproceedings

Publisher

Springer-Verlag

Series

LNCS

Pages

83-98

Projects

CSE
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems

Editor

Meyer, Roland and Platzer, André and Wehrheim, Heike

Edition

9360

Privacy Data Transparency Contact Legals