Formal Methods for Distributed Computing in Future Railway Systems.

Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Browse the full ISoLA paper archive.