Login
- Document type:
- Buchbeitrag
- Author(s):
- Abdulkhaleq, Asim; Wagner, Stefan
- Title:
- Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking
- Book title:
- Lecture Notes in Computer Science
- Publisher:
- Springer International Publishing
- Year:
- 2015
- Pages:
- 121-134
- Print-ISBN:
- 97833192425459783319242552
- DOI:
- doi:10.1007/978-3-319-24255-2_10
BibTeX