Filtrování

    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
Zobrazit podrobně