Von Anne.koziolek@kit.edu hochgeladene Dateien
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 13:58, 16. Jan. 2019 | Vortragsfolien Timed Automata für Ampelsteuerungen.pdf (Datei) |  |
870 KB | 1 | |
| 13:58, 16. Jan. 2019 | Timed Automata fuer Ampelsteuerungen Beispielprojekt in UPPAAL.zip (Datei) |  |
4 KB | https://svnserver.informatik.kit.edu/i43/svn/lehre/SDQ-Lerngruppe/Timed Automata für Ampelsteuerungen/Beispielprojekt in UPPAAL | 1 |