Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò. Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 212-220, Springer, 2017. [doi]
Abstract is missing.