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

Detailseite

Institution

Druckansicht

Technische Universität München
TUM School of Computation, Information and Technology
Department of Computer Engineering
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 )

© 2024 DFG Kontakt / Impressum / Datenschutz