Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Technische Universität München (TUM)
School of Computation, Information and Technology (CIT)
Lehrstuhl für Design Automation
Adresse
Arcisstraße 21
80333 München
Deutschland
GERiT
Diese Institution in GERiT
80333 München
Projekte
Sachbeihilfen
abgeschlossene Projekte
Entwicklung eines modularen Frameworks für die automatische Validation und Verifikation von UML/OCL-Modellen
(Antragsteller
Gogolla, Martin
;
Wille, Robert
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung