Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System

@inproceedings{Voges:ICSE76,
  author    = {Udo Voges},
  title     = {Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System},
  booktitle = {ICSE},
  pages     = {606--610},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}