5 papers:
CASE-2007-AllwardtWHST #integration #throughput- Enhancing the Throughput of Catalyst Screening Labs by Integration of a High Pressure Microplate Reactor (AA, CW, SHL, NS, KT), pp. 381–385.
HCI-CCAD-1999-NabeshimaTSNIOKS #hybrid #monitoring- Hybrid monitoring system for high temperature gas cooling reactor (KN, ET, TS, SN, KI, TO, KK, KS), pp. 1187–1191.
FME-1996-Sivertsen #case study #development #safety- A Case Study on the Formal Development of a Reactor Safety System (TS), pp. 18–38.
ICSE-1976-EhrenbergerRO #program analysis #verification- Program Analysis — A Method for the Verification of Software for the Control of a Nuclear Reactor (WDE, GR, KO), pp. 611–616.
- ICSE-1976-Voges #aspect-oriented #design #validation
- Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System (UV), pp. 606–610.
