Filtrování 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.
      Podrobněji: https://is.muni.cz/publication/701731/cs
Zobrazit podrobně
Zobrazeno: 28. 8. 2025 13:33