Irune Yarza, Irune Agirre, Imanol Mugarza, Gregor Nitsche, Patrick Uven, Juan Maria Orbegozo. Towards a Contract-Based Definition of Update-Compatibility - Modelling Safety Integration Criteria. In 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022. pages 710-717, IEEE, 2023. [doi]
Abstract is missing.