Wissenschaftszweige
- 102027 Web Engineering
- 102 Informatik
- 102015 Informationssysteme
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Verified Runtime Validation and Proof-Aware Refactoring for Hybrid Systems - Tactics and Lemma Mechanism in KeYmaera X
- Stefan Mitsch (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt