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
)
