Technical Categories
Automated reasoning
Connected and automated vehicles
Constraints and satisfiability
Multi-agent systems
Optimisation
Robotics and automation
Business Category
Agriculture
Healthcare
Manufacturing
Maritime Sector
Telecommunications
Organisation type
Company
Verum Software Tools B.V.