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
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21