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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.