Project Details
Honeywell - SMT solving numerických modelů pracujících s řetězci
Project Period: 1. 7. 2026 – 31. 8. 2026
Project Type: contract
Partner: Honeywell International s.r.o.
Type
contract
Team members
Holík Lukáš, doc. Mgr., Ph.D.
(DITS)
– research leader
Kocourek Tomáš, Ing. (DITS)
Síč Juraj, Mgr. (DITS)
Kocourek Tomáš, Ing. (DITS)
Síč Juraj, Mgr. (DITS)