Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung