Combining STPA and BDD for Safety Analysis and Verification in Agile Development
Y. Wang, and S. Wagner. Proceedings of the 40th International Conference on Software Engineering : ICSE '18 : Companion, page 286-287. Piscataway, NJ, IEEE, (2018)
DOI: 10.1145/3183440.3194973
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 wang2018combining
%A Wang, Yang
%A Wagner, Stefan
%B Proceedings of the 40th International Conference on Software Engineering : ICSE '18 : Companion
%C Piscataway, NJ
%D 2018
%I IEEE
%K
%P 286-287
%R 10.1145/3183440.3194973
%T Combining STPA and BDD for Safety Analysis and Verification in Agile Development
%@ 978-1-4503-5663-3
@inproceedings{wang2018combining,
added-at = {2023-08-31T16:14:41.000+0200},
address = {Piscataway, NJ},
author = {Wang, Yang and Wagner, Stefan},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21714d4893cf569a180ff73b84d2dc268/puma-wartung},
booktitle = {Proceedings of the 40th International Conference on Software Engineering : ICSE '18 : Companion},
doi = {10.1145/3183440.3194973},
eventdate = {2018-05-27/2018-06-03},
eventtitle = {2018 ACM/IEEE 40th International Conference on Software Engineering : Companion Proceedings},
interhash = {6ba86290748e6e81160fe6dfde22e49a},
intrahash = {1714d4893cf569a180ff73b84d2dc268},
isbn = {978-1-4503-5663-3},
keywords = {},
language = {eng},
pages = {286-287},
publisher = {IEEE},
timestamp = {2023-08-31T14:14:41.000+0200},
title = {Combining STPA and BDD for Safety Analysis and Verification in Agile Development},
venue = {Gothenburg, Sweden},
year = 2018
}
