Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Softwaretechnik (aufgelöst)
Adresse
Ernst-Reuter-Platz 7
10587 Berlin
Deutschland
10587 Berlin
Projekte
Sachbeihilfen
abgeschlossene Projekte
Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
(Antragsteller
Jähnichen, Stefan
)
Fundierung und Sicherheitsanalyse verteilter, asynchroner Objektsysteme
(Antragsteller
Kammüller, Florian
)