DFG-Project on Heterogeneous Specification

The Software Technologies Group is pleased to announce the start of the DFG-funded project "Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic", which is a joint project of Prof. Gerald Lüttgen at the University of Bamberg and Prof. Walter Vogler of the University of Augsburg, Germany. A brief project description can be found on the SWT Research Pages and the full case for support is available from Prof. Lüttgen's Homepage.