Výpis publikací

2022

1. SW pro ovládání nástrojů ofenzivní bezpečnosti (software)

   RÁJA, Jiří, Milan BOHÁČEK, Lukáš DAUBNER a Ivo NUTÁR. SW pro ovládání nástrojů ofenzivní bezpečnosti. 2022.

   Podrobněji: https://is.muni.cz/publication/2250097/cs
2. SW pro statickou verifikaci bezpečnostních opatření (software)

   RÁJA, Jiří, Milan BOHÁČEK, Lukáš DAUBNER, Michal DROBŇÁK a Ivo NUTÁR. SW pro statickou verifikaci bezpečnostních opatření. 2022.

   Podrobněji: https://is.muni.cz/publication/2250099/cs