Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik

Address August-Schmidt-Straße 12
44227 Dortmund
Deutschland

GERiT This institution in GERiT

44227 Dortmund

Projects

Priority Programmes
- Completed projects
  - Modulare temporallogische Spezifikationen hybrider Systeme
    (Applicant Krumm, Heiko )
Research Grants
- Completed projects
Collaborative Research Centres
- Completed projects
  - Effiziente Analyseverfahren
    (Project Heads Buchholz, Peter ; Kemper, Peter )
  - Modellierung und Analyse von Multimediasystemen
    (Project Head Buchholz, Peter )
  - Strukturierte GNL-Modelle und effiziente Simulation
    (Project Heads Bause, Falko ; Buchholz, Peter )
Research Training Groups
- Current projects
  - GRK 2193: Adaption Intelligence of Factories in a Dynamic and Complex Environment
    (Spokesperson Rehof, Jakob )
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
    (Spokesperson Vogler, Heiko )
  - GRK 1855: Discrete Optimisation of Technical Systems under Uncertainty
    (Spokesperson Buchholz, Peter )

© 2024 DFG Disclaimer / Copyright / Privacy Policy