TU München - Fakultät für
Informatik
Chair IV: Software & Systems Engineering
|
|
TU München - Fakultät für
Informatik |
|
|
Home | Research/Competence | Teaching | People | Publications | Misc | Contact | |
|
|
 |
 |
 |
Tools ConQAT: Continuous Quality Assessment ToolkitAF/STEM: Modeling and Analysis of Spatio-Temporal Computer-Based Systems AutoFOCUS 3: Modeling and Simulation of Reactive Systems |
