MODUS projects

MODUS projects

Overview

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.

Details

Academia

Industry and Administration

Methodology

University of Bayreuth -