Some experiences of critical software development
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 225-226
- https://doi.org/10.1109/icse.1990.63628
Abstract
Experience with the development of nuclear power plant protection systems is discussed. The state of the art in this field is examined, and the problems entailed in demonstrating the safety of these systems are considered.Keywords
This publication has 0 references indexed in Scilit: