Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Hamburg
Studiendekanat Elektrotechnik, Informatik und Mathematik
Institut für Softwaresysteme

Address Schwarzenbergstraße 95
21073 Hamburg
Deutschland

GERiT This institution in GERiT

21073 Hamburg

Projects

Research Grants
- Current projects
  - Time-Constrained Model Checking and Verification-Aware System Design for Medical Cyber-Physical Systems
    (Applicants Schlaefer, Alexander ; Schupp, Sibylle )
- Completed projects
  - A Common Development Platform for Static Source-Code Analysis of Generic Software Libraries
    (Applicant Schupp, Sibylle )
Priority Programmes
- Completed projects
  - Modelle und Werkzeuge zur Verwaltung multipler Dokumentationspräsentationen für die kooperative Nutzung digitaler Handbibliotheken
    (Applicant Matthes, Florian )
Research Training Groups
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
    (Spokesperson Fey, Görschwin )

© 2024 DFG Disclaimer / Copyright / Privacy Policy