User: Guest  Login
Title:

Combining STPA and BDD for safety analysis and verification in agile development

Document type:
Konferenzbeitrag
Author(s):
Wang, Yang; Wagner, Stefan
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