prof. Ing. Tomáš Vojnar, Ph.D.

2008

• MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš ANTOŠ David

  Uspořádání workshopu

  Rok: 2008, druh: Uspořádání workshopu

2007

• Verifying VHDL Designs with Multiple Clocks in SMV

  SMRČKA Aleš ŘEHÁK Vojtěch VOJNAR Tomáš ŠAFRÁNEK David MATOUŠEK Petr ŘEHÁK Zdeněk

  Článek ve sborníku

  Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, rok: 2007

2006

• Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)

  MATYSKA Luděk KUČERA Antonín VOJNAR Tomáš KOTÁSEK Zdeněk ANTOŠ David KRAJÍČEK Ondřej

  Účelové publikace

  Rok: 2006, druh: Účelové publikace