PODIVÍNSKÝ, J. Využití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
.
eVSKP id 139334