@dblp

Runtime Verification of Railway Applications with Extended Live Sequence Charts.

. Humboldt University of Berlin, Unter den Linden, Germany, (2016)

Links and resources

Tags