%0 Conference Paper %1 abdulkhaleq2015integrated %A Abdulkhaleq, Asim %A Wagner, Stefan %B Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015 %C Cham %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K hp ubs_10005 ubs_20008 ubs_30084 ubs_40122 unibibliografie %N 9337 %P 121-134 %R 10.1007/978-3-319-24255-2_10 %T Integrated safety analysis using systems-theoretic process analysis and software model checking %@ 978-3-319-24254-5 and 978-3-319-24255-2

@inproceedings{abdulkhaleq2015integrated, added-at = {2020-12-22T15:32:07.000+0100}, address = {Cham}, author = {Abdulkhaleq, Asim and Wagner, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c2931d0d518d98c41c8e9a89137c8866/unibiblio}, booktitle = {Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015}, doi = {10.1007/978-3-319-24255-2_10}, editor = {Koornneef, Floor and van Gulijk, Coen}, eventdate = {2015-09-23/2015-09-25}, eventtitle = {34th International Conference, SAFECOMP 2015}, interhash = {2a403b0c89edc1982271c8be8aacd77d}, intrahash = {c2931d0d518d98c41c8e9a89137c8866}, isbn = {{978-3-319-24254-5} and {978-3-319-24255-2}}, keywords = {hp ubs_10005 ubs_20008 ubs_30084 ubs_40122 unibibliografie}, language = {eng}, number = 9337, pages = {121-134}, publisher = {Springer}, series = {Lecture notes in computer science}, timestamp = {2024-03-14T12:30:18.000+0100}, title = {Integrated safety analysis using systems-theoretic process analysis and software model checking}, venue = {Delft, The Netherlands}, year = 2015 }