Software diversity in reactor protection systems: An experiment (1980)

by L Gmeiner, U Voges
Venue:Safety of Computer Control Systems (Proceedings of SAFECOMP ’79), Pergamon Press