Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

Adresse Schwarzenbergstraße 95
21073 Hamburg
Deutschland

GERiT Diese Institution in GERiT

21073 Hamburg

Projekte

Sachbeihilfen
- laufende Projekte
  - Zeitbeschränktes Model-Checking und verifikationsbewusster Systementwurf für medizinische cyber-physikalische Systeme
    (Antragstellerinnen / Antragsteller Schlaefer, Alexander ; Schupp, Sibylle )
- abgeschlossene Projekte
  - A Common Development Platform for Static Source-Code Analysis of Generic Software Libraries
    (Antragstellerin Schupp, Sibylle )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Modelle und Werkzeuge zur Verwaltung multipler Dokumentationspräsentationen für die kooperative Nutzung digitaler Handbibliotheken
    (Antragsteller Matthes, Florian )
Graduiertenkollegs
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen
    (Sprecher Fey, Görschwin )

© 2024 DFG Kontakt / Impressum / Datenschutz