Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1094396656
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1094396656 |
| Art des Inhalts | Hochschulschrift |
| Titel | Runtime Verification of Railway Applications with Extended Live Sequence Charts / Ming Chai |
| Person(en) | Chai, Ming (Verfasser) |
| Organisation(en) | Shaker Verlag (Verlag) |
| Ausgabe | 1. Auflage |
| Verlag | Aachen : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource : 6 Illustrationen (pdf) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Chai, Ming: Runtime verification of railway applications with extended live sequence charts |
| Hochschulschrift | Dissertation, Humboldt-Universität zu Berlin, 2015 |
| Persistent Identifier | URN: urn:nbn:de:101:1-201603271721 |
| ISBN/Einband/Preis | 978-3-8440-4333-4 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Berichte aus der Informatik |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter | Zugsicherung ; Laufzeitsystem ; Verifikation ; Live Sequence Chart ; Erweiterung ; Benchmark ; ETCS ; Handover ; Mehrwertige Logik ; Unsicherheit |
| DDC-Notation | 625.100289 [DDC22ger]; 625.10028514 [DDC22ger] |
| Sachgruppe(n) | 620 Ingenieurwissenschaften und Maschinenbau ; 004 Informatik ; 621.3 Elektrotechnik, Elektronik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
