Masaryk University

Publication Records

česky | in English

Filter publications

    2006

    1. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK and 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, p. 151-160. ISBN 978-80-239-6533-9.
      More: https://is.muni.cz/publication/630815/en
Display details
Displayed: 10/11/2024 20:50