Kvantitatívne hodnotenie integrity bezpečnosti elektronických systémov súvisiacich s bezpečnosťou - Rástočný, Karol 1958-; Balák, Jozef (Vedecké monografie, 2020)