A framework for the requirements analysis of safety-critical computing systems

Amer Saeed. A framework for the requirements analysis of safety-critical computing systems. PhD thesis, Newcastle University, Newcastle upon Tyne, UK, 1990. [doi]

Abstract

Abstract is missing.