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.
      More: https://is.muni.cz/publication/701731/en
Display details
Displayed: 28/8/2025 20:28