Modellierung und Analyse hybrider Systeme

Semester:	Sommersemester 2016
Veranstalter:	Prof. Abraham
Bemerkungen:

Videos

- Vorlesung
- Do, 14.04.2016, 14:15 Uhr
- Nicht aufgezeichnet
- Vorlesung
- Di, 19.04.2016, 12:15 Uhr
- Nicht aufgezeichnet
- Vorlesung
- Do, 21.04.2016, 14:15 Uhr
- Nicht aufgezeichnet
- Vorlesung
- Di, 26.04.2016, 12:15 Uhr
- Nicht aufgezeichnet
- Vorlesung
- Gehalten von Prof. Abraham
- Do, 28.04.2016, 14:15 Uhr
- CTL & LTL
  
  Die 1. 4 Vorlesungen fehlen
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 10.05.2016, 12:15 Uhr
- Timed automata
- Übung
- Gehalten von Stefan Schupp
- Di, 10.05.2016, 13:00 Uhr
- Series 2
- Vorlesung
- Gehalten von Prof. Abraham
- Do, 12.05.2016, 14:15 Uhr
- Timelock & Zenoness & TCTL continuous semantics
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 24.05.2016, 12:15 Uhr
- Finite abstraction & Bisimulation
- Übung
- Gehalten von Stefan Schupp
- Di, 31.05.2016, 10:15 Uhr
- Series 3
- Vorlesung
- Gehalten von Stefan Schupp
- Do, 02.06.2016, 14:15 Uhr
- Wiederholung : Timed automaton & (LTL,CTL) & (Time divergence,Zenoness,Timelock)
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 07.06.2016, 12:15 Uhr
- Timed automata
- Vorlesung
- Do, 09.06.2016, 14:15 Uhr
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 14.06.2016, 12:15 Uhr
- Übung
- Gehalten von Stefan Schupp
- Di, 14.06.2016, 13:00 Uhr
- Series 4
- Vorlesung
- Gehalten von Prof. Abraham
- Do, 16.06.2016, 14:15 Uhr
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 21.06.2016, 12:15 Uhr
- Übung
- Gehalten von Stefan Schupp
- Di, 21.06.2016, 13:00 Uhr
- Series 5
- Vorlesung
- Gehalten von Prof. Abraham
- Do, 23.06.2016, 14:15 Uhr
- Vorlesung
- Gehalten von Prof. Abraham
- Di, 28.06.2016, 12:15 Uhr
- Übung
- Gehalten von Stefan Schupp
- Di, 28.06.2016, 13:00 Uhr
- Vorlesung
- Gehalten von Prof. Abraham
- Do, 30.06.2016, 14:15 Uhr
- Vorlesung
- Gehalten von Stefan Schupp
- Di, 05.07.2016, 12:15 Uhr
- Übung
- Gehalten von Stefan Schupp
- Di, 05.07.2016, 13:00 Uhr
- Vorlesung
- Gehalten von Stefan Schupp
- Do, 07.07.2016, 14:15 Uhr
- Lösung einer Klausur
- Gehalten von Stefan Schupp
- Di, 12.07.2016, 12:15 Uhr
- Zusammenfassung
- Gehalten von Prof. Abraham
- Do, 14.07.2016, 14:15 Uhr
- Fragestunde
- Gehalten von Prof. Abraham
- Di, 19.07.2016, 12:15 Uhr