2016
Doctoral Thesis
Title

Runtime verification of railway applications with extended live sequence charts

Thesis Note
Berlin, Univ., Diss., 2015
Author(s)
Chai, Ming
Publisher
Publishing Place
Aachen
Language
English