Franco Mazzanti, Dimitri Belli. The 4SECURail Formal Methods Demonstrator. In Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Volume 13294 of Lecture Notes in Computer Science, pages 149-165, Springer, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.