Author:
Belli Dimitri,Fantechi Alessandro,Gnesi Stefania,Masullo Laura,Mazzanti Franco,Quadrini Lisa,Trentini Daniele,Vaghi Carlo
Publisher
Springer Nature Switzerland
Reference31 articles.
1. Aissat, R., Boralv, A.: X2RAIL-2, Deliverable D5.3 Business Case (2020)
2. Lecture Notes in Computer Science;D Basile,2021
3. LNCS;D Belli,2022
4. Bibi, S., Mazhar, S., Minhas, N.M., Ahmed, I.: Formal methods for commercial applications issues vs. solutions. J. Software Eng. Appl. (2014)
5. Burroughs, D.: SNCF develops new-generation interlockings with a 1bn Argos partnership (2018). https://www.railjournal.com/signalling/sncf-develops-new-generation-interlockings-with-e1bn-argos-partnership