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

Author

Samuel Pastva
Fakulta informatiky, Faculty of Informatics

Supervisor

prof. RNDr. Luboš Brim, CSc.

About the project

Abstract Thesis

Year

Share