Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Humboldt-Universität zu Berlin
Institut für Informatik
Forschungseinheit Spezifikation, Verifikation und Testtheorie

Address Unter den Linden 6
10099 Berlin
Deutschland

GERiT This institution in GERiT

10099 Berlin

Projects

Research Grants
- Completed projects
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
    (Applicant Reisig, Wolfgang )
Research Training Groups
- Completed projects
  - GRK 1324: Model-based Development of Technologies for Self-organising Information Systems in Application for Disasters Management
    (Spokesperson Fischer, Joachim )

© 2024 DFG Disclaimer / Copyright / Privacy Policy