Seminář UPSY - Podivínský J.: Využití verifikace pro ověřování odolnosti proti poruchám v systémech založených na FPGA (cvičná obhajoba tezí disertační práce) - detail akce