Lilian Burdy, David Déharbe, Denis Sabatier. Assigning Safe Executed Systems to Meanings. 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 130-142, Springer, 2022. [doi]
Abstract is missing.