From Safety Analysis to Software Requirements

Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou. From Safety Analysis to Software Requirements. IEEE Trans. Software Eng., 24(7):573-584, 1998. [doi]

Abstract

Abstract is missing.