Výzkumná skupina formálních modelů

Dosažené výsledky

2015Generátor tabulky pro rozklad založený na LLk gramatikách, software, 2015
Autoři: Kocman Radim, Kolář Dušan
2013Instrukční simulátor procesoru PicoBlaze, software, 2013
Autoři: Křivka Zbyněk, Šimek Jiří
2011Integrované vývojové prostředí VLAM, software, 2011
Autoři: Jirák Ota, Křivka Zbyněk, Olšarová Nela, Vašíček Zdeněk
2009PicoBlaze C překladač, software, 2009
Autoři: Křivka Zbyněk

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

DNSSEC [dnssec]