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

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

Ročník

2017

Sdílet tuto práci