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

Udo Voges

Browse the full ICSE paper archive.