Smrčka Aleš: Verifikace moderních hardwarových systémů, Holík Lukáš: Formální verifikace software s využitím teorie automatů, Novosad Petr: Automatizované prostředky návrhu diskrétních systémů s využitím Petriho sítí - detail akce