Detail projektu
Honeywell - SMT solving numerických modelů pracujících s řetězci
Období řešení: 1. 7. 2026 – 31. 8. 2026
Typ projektu: smluvní výzkum
Objednatel: Honeywell International s.r.o.
Typ
smluvní výzkum
Řešitelé
Holík Lukáš, doc. Mgr., Ph.D.
(UITS)
– hlavní řešitel
Kocourek Tomáš, Ing. (UITS)
Síč Juraj, Mgr. (UITS)
Kocourek Tomáš, Ing. (UITS)
Síč Juraj, Mgr. (UITS)