In: Computarized reactor protection and safeety related systems in nuclear power plants. Proceedings of a specialists' meeting. Budapest, 1997. (Working material. IAEA-IWG-NPPCI-98/1.).
Reliability analysis of protection systems in NPP applying fault-tree analysis method
Szoftver alapú biztonsági rendszerek elvi alapjai. Megbízhatóságés rendelkezésre állás igazolásának lehetőségei és módszerei.(Technical report of the Systems and Control Laboratory, SCL-001-1998.)
In: Proceedings of DAPSYS98. Workshop on distributed and parallel systems. Budapest, 1998. ( Institut für angewandte Informatik und Informationssysteme. Technischer Bericht, TR-98102.).
In: Proceedings of DAPSYS98. Workshop on distributed and parallel systems. Budapest, 1998. (Institut für angewandte Informatik und Informationssysteme. Technischer Bericht, TR-98102.).
Systematic testing and debugging of parallel programs by a macrostep debugger