Výzkumná skupina formálních modelů
Probíhající a ukončené projekty
| 2012 | Matematické základy teorie formálních jazyků, FRVŠ MŠMT, FR271/2012/G1, 2012, ukončen
Řešitel: Zemek Petr
Spoluřešitelé: Meduna Alexander, Vrábel Lukáš |
| 2010 | Bezkontextové gramatiky a zásobníkové automaty, MŠMT, MEB041003, 2010-2011, ukončen
Řešitel: Meduna Alexander |
| 2007 | Multiinformační technologie, GAČR, GA201/07/0005, 2007-2009, ukončen
Řešitel: Meduna Alexander
Spoluřešitelé: Kolář Dušan, Lukáš Roman |
| 2006 | Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT, 2C06008, 2006-2011, ukončen
Řešitel: Dulík Tomáš
Spoluřešitelé: Kadlec Jiří, Kolář Dušan |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)