SDQ-Lerngruppe/Timed Automata

Aus SDQ-Wiki

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

Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-sdq-extern/index.php?title=SDQ-Lerngruppe/Timed_Automata&oldid=29040“