%0 Conference Paper %1 conf/safecomp/AbdulkhaleqW14 %A Abdulkhaleq, Asim %A Wagner, Stefan %B SAFECOMP Workshops %D 2014 %E Bondavalli, Andrea %E Ceccarelli, Andrea %E Ortmeier, Frank %I Springer %K %P 401-412 %T A Software Safety Verification Method Based on System-Theoretic Process Analysis. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2014w.html#AbdulkhaleqW14 %V 8696 %@ 978-3-319-10556-7

@inproceedings{conf/safecomp/AbdulkhaleqW14, added-at = {2023-08-31T14:17:44.000+0200}, author = {Abdulkhaleq, Asim and Wagner, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e6f40146119eaccf90065cff76c0dced/puma-wartung}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2014w}, editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank}, ee = {https://www.wikidata.org/entity/Q59900034}, interhash = {b7fc9edc3190b1cede77a2139fc0681f}, intrahash = {e6f40146119eaccf90065cff76c0dced}, isbn = {978-3-319-10556-7}, keywords = {}, pages = {401-412}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-08-31T12:17:44.000+0200}, title = {A Software Safety Verification Method Based on System-Theoretic Process Analysis.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2014w.html#AbdulkhaleqW14}, volume = 8696, year = 2014 }