Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Darmstadt
Institut für Datentechnik
Fachgebiet Rechnersysteme

Address Merckstraße 25
64283 Darmstadt
Deutschland

GERiT This institution in GERiT

64283 Darmstadt

Projects

Research Grants
- Completed projects
  - Automatisierte Verifikation algorithmischer Beschreibungen
    (Applicant Eveking, Hans )
Research Training Groups
- Completed projects
  - GRK 749: System Integration for Ubiquitous Computing in the Information Technology
    (Spokesperson Glesner, Manfred )

© 2024 DFG Disclaimer / Copyright / Privacy Policy