University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Software Technologies Research Group

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Computer Science
  6. Software Technologies Research Group
  7. News
  8. DFG-Project on Heterogeneous Specification

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.