Paralelní syntéza parametrů z formulí hybridní logiky HUCTL

Autor práce

Samuel Pastva
Masarykova univerzita v Brně, Fakulta informatiky

Vedoucí práce

prof. RNDr. Luboš Brim, CSc.

O projektu

Leták Diplomová práce

Ročník

Sdílet tuto práci