Jean Guyomarc'h, Jean-Baptiste Hervé. Static and Verifiable Memory Partitioning for Safety-Critical Systems. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020. pages 79-84, IEEE, 2020. [doi]
Abstract is missing.