Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

Adresse Unter den Linden 6
10099 Berlin
Deutschland

GERiT Diese Institution in GERiT

10099 Berlin

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
    (Antragsteller Reisig, Wolfgang )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1324: Modellbasierte Entwicklung von Technologien für selbstorganisierende dezentrale Informationssysteme im Katastrophenmanagement - METRIK
    (Sprecher Fischer, Joachim )

© 2024 DFG Kontakt / Impressum / Datenschutz