-
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
-
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
-
ANTOŠ, David. Associative Memories for IP Packet Routing. Brno: Faculty of Informatics, MU Brno, 2003.Podrobněji: https://is.muni.cz/publication/492066/cs
-
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
2004
2003
Zobrazeno: 16. 2. 2025 22:59