Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität München
TUM School of Computation, Information and Technology
Department of Computer Engineering
Lehrstuhl für Design Automation
Address
Arcisstraße 21
80333 München
Deutschland
GERiT
This institution in GERiT
80333 München
Projects
Research Grants
Completed projects
Development of a Modular Framework for Automatic Validation and Verification of UML/OCL Models
(Applicants
Gogolla, Martin
;
Wille, Robert
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung