Technische Universität Berlin
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Modelle und Theorie Verteilter Systeme (MTV)

Address Ernst-Reuter-Platz 7
10587 Berlin
Deutschland

GERiT This institution in GERiT

10587 Berlin

Projects

Research Grants
- Completed projects
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
    (Applicant Lüttgen, Gerald )
  - Synchronous and Asynchronous Interaction in Distributed Systems
    (Applicants Goltz, Ursula ; Nestmann, Uwe ; Peters, Kirstin )
Research Training Groups
- Completed projects
  - GRK 1651: Service-oriented Architectures for the Integration of Software-based Processes, Exemplified by Health Care Systems and Medical Technology (SOAMED)
    (Spokesperson Leser, Ulf )