Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy