×

Found 7 Documents (Results 1–7)

Causality, behavioural equivalences, and the security of cyberphysical systems. (English) Zbl 1444.68041

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 83-98 (2015).
MSC:  68M25 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software