Project Details
Podpora výuky pro formální verifikaci hardwaru
Project Period: 1. 1. 2006 - 31. 12. 2006
Project Type: grant
Code: FR2978/2006/G1
Agency: Fond rozvoje vysokých škol MŠMT
Program:
Type
grant
Team members
Smrčka Aleš, Ing., Ph.D.
(UITS FIT VUT)
, research leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader