Options
2016
Doctoral Thesis
Titel
Runtime verification of railway applications with extended live sequence charts
ThesisNote
Berlin, Univ., Diss., 2015