On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.

C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki

Browse the full ICSE paper archive.