Wissenschaftszweige
- 102006 Computer Supported Cooperative Work (CSCW)
- 102027 Web Engineering
- 102 Informatik
- 102015 Informationssysteme
- 102014 Informationsdesign
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
A Brief Introduction to Modeling and Formal Verification of Hybrid Systems in Differential Dynamic Logic
- Stefan Mitsch (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt