Seminář UPSY - Baláž M.: Príspevok k testovacím architektúram a testovatelnosti porúch oneskorení digitálnych jadier (Ústav Informatiky, Slovenská akadémia vied)