Wissenschaftszweige
- 102027 Web Engineering
- 102 Informatik
- 102015 Informationssysteme
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
A Component-Based Approach to Hybrid Systems Safety Verification
- Andreas Müller (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt