Runtime verification of railway applications with extended live sequence charts
2016
VIII, 153 Seiten
24 cm x 17 cm, 249 g
Diagramme
Hochschulschrift
Englisch
DDC: | 625.100289 / 625.10028514 | |
BKL: | 54.52 Software engineering / 50.17 Sicherheitstechnik / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik | |
RVK: | ST 233 |
NTRS
|Runtime Verification of Stochastic Systems
AIAA | 2010
|Runtime Verification of Systems with Hidden Information
AIAA | 2012
|Runtime Verification for Autonomous Spacecraft Software
British Library Conference Proceedings | 2005
|