Ing. Aleš Smrčka, Ph.D.

2010Framework pro formální verifikaci asynchronních komponent, software, 2010
Autoři: Smrčka Aleš, Vojnar Tomáš
2009Analyzátor CDC asynchronních komponent, software, 2009
Autoři: Smrčka Aleš
 Překladač modelu FAST pro ARMC, software, 2009
Autoři: Smrčka Aleš
2007Překladač VHDL designu do čítačového automatu, software, 2007
Autoři: Smrčka Aleš, Vojnar Tomáš

Vaše IPv4 adresa: 38.107.179.214
Přepnout na IPv6 spojení

DNSSEC [dnssec]