Seminář UPSY - Lojda J.: Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy - detail akce