Výzkumná skupina modelování a simulace systémů

Členové skupiny

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
	teorie formálních jazyků a automatů formání specifikace teorie a aplikace Petriho sítí modelování a simulace
Hrubý Martin, Ing., Ph.D., UITS FIT VUT
	Modelování a simulace Geografické informační systémy Matematická teorie her a její aplikace v modelování trhu Programovací a simulační jazyky Překladače
Janoušek Vladimír, doc. Ing., Ph.D., UITS FIT VUT
Kočí Radek, Ing., Ph.D., UITS FIT VUT
	modelování a simulace systémů programovací a simulační jazyky softwarové inženýrství architektury simulačních a operačních systémů formální modely a simulace v návrhu systémů projekt PNtalk/SmallDEVS
Novosad Petr, Ing., student, UITS FIT VUT
	Petriho sítě programování C/C++
Peringer Petr, Dr. Ing., UITS FIT VUT
	Modelování a simulace Verifikace programů Objektově-orientované programování, návrhové vzory Programovací jazyky C a C++
Richta Tomáš, Ing., student, FIT VUT