Skip to content

Static and Verifiable Memory Partitioning for Safety-Critical Systems.

Jean Guyomarc'h, Jean-Baptiste Herv

VenueAISSRE
Year2020
ProceedingsISSRE Workshops

Browse the full ISSRE paper archive.