Active Research Projects

EMBRACE - Environment for model-based design and verification of CPS systems

The concept of the "Internet of Things" (IoT) and cyber-physical systems (CPS) has led to some of the most grandiose IT projects of our time. The recognition of the potential of connecting individual systems...