Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems
| Author: | Michael Roth, Peter Liggesmeyer |
|---|---|
| URL: | https://link.springer.com/chapter/10.1007/978-3-319-24249-1_11 |
| DOI: | https://doi.org/10.1007/978-3-319-24249-1_11 |
| ISBN: | 978-3-319-24248-4 |
| ISBN: | 978-3-319-24249-1 |
| Parent Title (English): | Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings |
| Publisher: | Springer International Publishing |
| Place of publication: | Cham |
| Editor: | Floor Koornneef, Coen van Gulijk |
| Document Type: | Part of a Book |
| Language: | English |
| Publication year: | 2015 |
| Year of first Publication: | 2015 |
| Release Date: | 2026/04/08 |
| Page Number: | 12 |
| First Page: | 121 |
| Last Page: | 132 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Software Engineering |
| Open access state: | Closed Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |