A706
Sessions
- Session 1 (Dec 04 09:00-10:30) Tutorial 1: Shaukat Ali Mahsa & Varshosaz. Testing Cyber-Physical Systems
- Session 2 (Dec 04 11:00-12:30) Tutorial 1: Shaukat Ali Mahsa & Varshosaz. Testing Cyber-Physical Systems
- Session 3 (Dec 04 14:00-15:30) Tutorial 2: Ina Schaefer & Maximilian Kodetzki. Correctness-by-Construction Approach to Programming
- Session 4 (Dec 04 16:00-17:30) Tutorial 2: Ina Schaefer & Maximilian Kodetzki. Correctness-by-Construction Approach to Programming
- Session 5 (Dec 05 09:00-10:30) Tutorial 3: Einar Broch Johnsen. Semantically Lifted Digital Twin
- Session 6 (Dec 05 11:00-12:30) Tutorial 4: Maurice H. ter Beek. Formal Methods and Tools for Software Product Lines
- Session 7 (Dec 05 14:00-15:30) Tutorial 5: Martin Leucker. Automata Learning
- Session 8 (Dec 05 16:00-17:30) Tutorial 5: Martin Leucker. Automata Learning