Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems

Roth, Michael; Liggesmeyer, Peter

doi:10.1007/978-3-319-24249-1_11

by Michael Roth, Peter Liggesmeyer

Reference:

M. Roth, P. Liggesmeyer, "Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems", in Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, Cham: Springer International Publishing, pp. 121-132.

Bibtex Entry:

@InProceedings{Roth2015,
author="Roth, Michael
and Liggesmeyer, Peter",
title="Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems",
bookTitle="Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings",
year="2015",
publisher="Springer International Publishing",
address="Cham",
pages="121--132",
isbn="978-3-319-24249-1",
doi="10.1007/978-3-319-24249-1_11",
url="https://doi.org/10.1007/978-3-319-24249-1_11"
}