Ing.

Aleš Smrčka

Ph.D.

FIT, DITS – Assistant professor

+420 54114 1186
smrcka@fit.vut.cz

Send BUT message

Ing. Aleš Smrčka, Ph.D.

Other

  • 2014

    CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. Brno: Faculty of Information Technology BUT, 2014. 18 p.

*) Citace se generují jednou za 24 hodin.