2016
Doctoral Thesis
Titel

Runtime verification of railway applications with extended live sequence charts
ThesisNote
Berlin, Univ., Diss., 2015
Author(s)
Chai, Ming
Verlag
Verlagsort
Aachen
Thumbnail Image
Language
English