Filter publications

    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 and 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, p. 55-62. ISBN 80-214-3287-X.
      Name in Czech: Formální verifikace vlastností CRC algoritmů
      RIV/00216224:14330/06:00015972 Proceedings paper. Informatics. English. Czech Republic.
      Smrčka, Aleš (203 Czech Republic) -- Hlávka, Petr (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Šimeček, Pavel (203 Czech Republic) -- Vojnar, Tomáš (203 Czech Republic)
      Keywords in English: formal verification; CRC algorithms; generating polynomial
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 24/3/2010 10:39.
      More: https://is.muni.cz/publication/701731/en
Displayed: 29/8/2025 01:43