Metoda binarnih dijagrama odlučivanja za vrednovanje stabla kvara u nuklearnoj elektrani : doktorski rad = Binary decision diagram method for fault tree evaluation in nuclear power plant : doctoral thesis - Banov, Reni; Šimić, Zdenko (2020)