Asim Abdulkhaleq, Stefan Wagner. A Software Safety Verification Method Based on System-Theoretic Process Analysis. In Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier, editors, Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Volume 8696 of Lecture Notes in Computer Science, pages 401-412, Springer, 2014. [doi]
@inproceedings{AbdulkhaleqW14, title = {A Software Safety Verification Method Based on System-Theoretic Process Analysis}, author = {Asim Abdulkhaleq and Stefan Wagner}, year = {2014}, doi = {10.1007/978-3-319-10557-4_44}, url = {http://dx.doi.org/10.1007/978-3-319-10557-4_44}, researchr = {https://researchr.org/publication/AbdulkhaleqW14}, cites = {0}, citedby = {0}, pages = {401-412}, booktitle = {Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings}, editor = {Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier}, volume = {8696}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-10556-7}, }