A Formal IDE for Railways: Research Challenges.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi

Browse the full SEFM paper archive.