Výpis publikací

2006

1. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware

   KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha: CESNET, z.s.p.o., 2006, s. 151-160. ISBN 978-80-239-6533-9.

   Podrobněji: https://is.muni.cz/publication/630815/cs