Appyling Model-based Testing to a Train Control System.

Klaus Didrich, Stefan Herbst, Marlon Vieira

Browse the full GI paper archive.