Login
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Abdulkhaleq, Asim; Wagner, Stefan
- Titel:
- A Software Safety Verification Method Based on System-Theoretic Process Analysis
- Buchtitel:
- Lecture Notes in Computer Science
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2014
- Seiten/Umfang:
- 401-412
- Print-ISBN:
- 97833191055679783319105574
- DOI:
- doi:10.1007/978-3-319-10557-4_44
BibTeX