Login
- Title:
A Software Safety Verification Method Based on System-Theoretic Process Analysis
- Document type:
- Buchbeitrag
- Author(s):
- Abdulkhaleq, Asim; Wagner, Stefan
- Book title:
- Lecture Notes in Computer Science
- Publisher:
- Springer International Publishing
- Year:
- 2014
- Pages:
- 401-412
- Print-ISBN:
- 97833191055679783319105574
- DOI:
- doi:10.1007/978-3-319-10557-4_44
BibTeX