Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Wang, Yang; Wagner, Stefan
- Title:
- Combining STPA and BDD for safety analysis and verification in agile development
- Book / Congress title:
- Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
- Publisher:
- ACM
- Date of publication:
- 27.05.2018
- Year:
- 2018
- Fulltext / DOI:
- doi:10.1145/3183440.3194973
BibTeX