Ostatní

• 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.