Hochschulschrift
Runtime verification of railway applications with extended live sequence charts
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844043334
3844043330
- Dimensions
-
25 cm, 249 g
- Extent
-
viii, 153 Seiten
- Edition
-
[1. Auflage]
- Language
-
Englisch
- Notes
-
Illustrationen
Humboldt-Universität zu Berlin, Dissertation, 2015
- Keyword
-
Zugsicherung
Laufzeitsystem
Verifikation
Live Sequence Chart
Erweiterung
Mehrwertige Logik
Unsicherheit
ETCS
Handover
Benchmark
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker Verlag
- (when)
-
2016
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:06 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Chai, Ming
- Shaker Verlag
- Shaker Verlag
Time of origin
- 2016
Other Objects (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