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

Author

Samuel Pastva
Masaryk University in Brno, Fakulta informatiky, Faculty of Informatics

Supervisor

prof. RNDr. Luboš Brim, CSc.

About the project

Year

2017

Share