Hochschulschrift
Runtime verification of railway applications with extended live sequence charts
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844043334
3844043330
- Maße
-
25 cm, 249 g
- Umfang
-
viii, 153 Seiten
- Ausgabe
-
[1. Auflage]
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Humboldt-Universität zu Berlin, Dissertation, 2015
- Schlagwort
-
Zugsicherung
Laufzeitsystem
Verifikation
Live Sequence Chart
Erweiterung
Mehrwertige Logik
Unsicherheit
ETCS
Handover
Benchmark
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker Verlag
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:06 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Chai, Ming
- Shaker Verlag
- Shaker Verlag
Entstanden
- 2016
Ähnliche Objekte (12)
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers