Login
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Abdulkhaleq, Asim; Wagner, Stefan
- Titel:
- Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2015
- Seiten/Umfang:
- 121-134
- Print-ISBN:
- 97833192425459783319242552
- DOI:
- doi:10.1007/978-3-319-24255-2_10
BibTeX