Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
2018 ◽
Vol 20
(1)
◽
pp. 46-69
◽
Keyword(s):
A Study on Airborne Software Safety Requirements Elicitation Based on Failure-Cause-Base Aided SFMEA
2012 ◽
Vol 4
(23)
◽
pp. 234-241