Fields of science
- 102006 Computer supported cooperative work (CSCW)
- 102027 Web engineering
- 102 Computer Sciences
- 102015 Information systems
- 102014 Information design
JKU Focus areas
- Computation in Informatics and Mathematics
A Brief Introduction to Modeling and Formal Verification of Hybrid Systems in Differential Dynamic Logic
- Stefan Mitsch (Speaker)
Activity: Talk or presentation › Invited talk › unknown