Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2004

    1. How to Formalize FPGA Hardware Design
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.
      Podrobněji: https://is.muni.cz/publication/559201/cs
    2. Verification Results in Liberouter Project
      HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.
      Podrobněji: https://is.muni.cz/publication/558042/cs

    2003

    1. Associative Memories for IP Packet Routing
      ANTOŠ, David. Associative Memories for IP Packet Routing. Brno: Faculty of Informatics, MU Brno, 2003.
      Podrobněji: https://is.muni.cz/publication/492066/cs
    2. Liberouter, IPv6 router
      ANTOŠ, David a Jiří NOVOTNÝ. Liberouter, IPv6 router. In Širokopásmové sítě a jejich aplikace. Olomouc: Universita Palackého Olomouc, 2003, s. 75-81. ISBN 80-244-0642-X.
      Podrobněji: https://is.muni.cz/publication/487002/cs
Zobrazit podrobně
Zobrazeno: 29. 7. 2024 14:16