Výpis publikací

2006

1. Formal Verification of the CRC Algorithm Properties

   SMRČKA, Aleš; Petr HLÁVKA; David ŠAFRÁNEK; Vojtěch ŘEHÁK; Pavel ŠIMEČEK a Tomáš VOJNAR. Formal Verification of the CRC Algorithm Properties. In Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Brno: FIT BUT, 2006, s. 55-62. ISBN 80-214-3287-X.

   Název česky: Formální verifikace vlastností CRC algoritmů
   RIV/00216224:14330/06:00015972 Stať ve sborníku. Informatika. angličtina. Česká republika.
   Smrčka, Aleš (203 Česká republika) -- Hlávka, Petr (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika)
   Klíčová slova anglicky: formal verification; CRC algorithms; generating polynomial
   Druh sborníku: předkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 24. 3. 2010 10:39.

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