Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations.

Eva Beckschulze, Jrg Brauer, Andr Stollenwerk, Stefan Kowalewski

Browse the full ISORC paper archive.