Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Wang, Yang; Wagner, Stefan
- Titel:
- Combining STPA and BDD for safety analysis and verification in agile development
- Kongress- / Buchtitel:
- Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
- Verlag / Institution:
- ACM
- Publikationsdatum:
- 27.05.2018
- Jahr:
- 2018
- Volltext / DOI:
- doi:10.1145/3183440.3194973
BibTeX