Evidencia a nahlasovanie závad na technologických a bezpečnostných počítačoch v atómovej elektrárni : Bakalárska práca - Sýkora, Jozef (STU v Bratislave MtF KAIA, 2006)