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

Department head, Department of Computer Systems and Communications

Office: B405
Botanická 554/68a
602 00 Brno

Show on the map

Phone:	+420 549 49 8211
E‑mail:

Basic information

Type

Total number of publications: 13

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

Workshop

Year: 2008, type: Workshop

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

Article in Proceedings

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, year: 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

Year: 2006, type: