Kvantitatívne hodnotenie integrity bezpečnosti elektronických systémov súvisiacich s bezpečnosťou - Rástočný, Karol, 1958- (Žilinská univerzita v Žiline : EDIS-vydavateľstvo UNIZA, 2020)