Formal Methods for Distributed Control Systems of Future Railways.

Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Browse the full ISoLA paper archive.