Medien-Manager
Namensräume
Namensraum wählen
Dateiauswahl
Dateien in lehrstuhl:neuigkeiten:autonomes_fahren_wissenschaftliche:r_mitarbeiter:in_w:m
- bild.jpeg
- 2048×1536
- 2022/08/19 09:12
- 1004.8 KB
![[Wurzel]](/doku.php?id=lehrstuhl:neuigkeiten&ns=&tab_files=files&do=media&tab_details=view&image=lehre%3Awise1314%3Asebasedspec%3Achaki_al_2004_stateevent-basedsoftwaremodelchecking_seite_01.png){kind=link}
Datei
- Anzeigen
- Verlauf
- Datum:
- 2013/10/15 17:43
- Dateiname:
- chaki_al_2004_stateevent-basedsoftwaremodelchecking_seite_01.png
- Format:
- PNG
- Größe:
- 75KB
- Breite:
- 1195
- Höhe:
- 1834
- Verwendung von:
- State/event-based software specification & analysis
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland