Ing.

Aleš Smrčka

Ph.D.

Assistant professor

+420 54114 1186
smrcka@fit.vut.cz
A304 Office
16965/BUT personal ID

Other Results

2014

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors, report, 2014
Authors: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.