MODUS projects

MODUS projects


MODUS projects usually are cooperation projects, in which an application and formal methods are both represented. The aim is to better understand the application problems by formulating them in some formal language, Moreover, we want to derive improved options for actions. Not all projects have a strictly specified duration. In such cases, we take the freedom to study a problem as long as we find this scientifically rewarding.



Industry and Administration


University of Bayreuth -