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
)