Statistics
Publications
48
Citations
1.6K
H-Index
21
Active since
2002
Matthias Tichy is an author at Universität Ulm specializing in systems engineering, engineering, and computer science.
Publications per year
2002–2023
48
48
Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 149 citations
1–5 of 48