Datei:Timed Automata fuer Ampelsteuerungen Beispielprojekt in UPPAAL.zip
Timed_Automata_fuer_Ampelsteuerungen_Beispielprojekt_in_UPPAAL.zip (Dateigröße: 4 KB, MIME-Typ: application/zip)
Warnung: Dieser Dateityp kann böswilligen Programmcode enthalten. Durch das Herunterladen und Öffnen der Datei kann dein Computer beschädigt werden.
https://svnserver.informatik.kit.edu/i43/svn/lehre/SDQ-Lerngruppe/Timed Automata für Ampelsteuerungen/Beispielprojekt in UPPAAL
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|
| aktuell | 13:58, 16. Jan. 2019 | (4 KB) | Anne Koziolek (Diskussion | Beiträge) | https://svnserver.informatik.kit.edu/i43/svn/lehre/SDQ-Lerngruppe/Timed Automata für Ampelsteuerungen/Beispielprojekt in UPPAAL |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei: