Ing.

Aleš Smrčka

Ph.D.

odborný asistent

+420 54114 1186
smrcka@fit.vut.cz
A304 Kancelář
16965/osobní číslo VUT

Ostatní výsledky

2014

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors, zpráva odborná, 2014
Autoři: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.