Research output per year
Research output per year
Research output
Search results
-
2020
Analyzing Cyber-Physical Systems with Runtime Veri fication
Nickovic, D., 2020Research output: Thesis › Habilitation
-
2012
Wireless communications over time-variant channels
Zemen, T., 2012Research output: Thesis › Habilitation
-
1995
Computersimulation und graphische Darstellung physikalischer Vorgänge: Klassische und quantenmechanische Phänomene
Suda, M., 1995Research output: Thesis › Habilitation