Applicability of SIGNAL in safety critical system development

Irina M. Smarandache, Nimal Nissanke. Applicability of SIGNAL in safety critical system development. IEE Proceedings - Software, 146(2):86-95, 1999. [doi]

Abstract

Abstract is missing.