Safecharts for Specifying and Designing Safety Critical Systems

Hamdan Dammag, Nimal Nissanke. Safecharts for Specifying and Designing Safety Critical Systems. In SRDS. pages 78-87, 1999. [doi]

Abstract

Abstract is missing.