SDQ-Lerngruppe/Timed Automata
Ein Lehr-Vortrag zum Thema Timed Automata für Ampelsteuerungen.
Datei:Vortragsfolien Timed Automata für Ampelsteuerungen.pdf
Datei:Timed Automata fuer Ampelsteuerungen Beispielprojekt in UPPAAL.zip
Ein Lehr-Vortrag zum Thema Timed Automata für Ampelsteuerungen.
Datei:Vortragsfolien Timed Automata für Ampelsteuerungen.pdf
Datei:Timed Automata fuer Ampelsteuerungen Beispielprojekt in UPPAAL.zip