Software in safety-related systems

Authors:
Brian A. Wichmann
Affiliations:
National Physical Lab, UK
Venue:
Software in safety-related systems
Year:
1992

Citing 0
Cited 2

Documentation for safety critical software

ICSE '93 Proceedings of the 15th international conference on Software Engineering
The validation of formal specifications of requirements

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.01

Visualization

Abstract