UML Specification and Transformation of Safety Features for Memory Protection.

Lars Huning, Padma Iyenghar, Elke Pulvermller

Browse the full ENASE paper archive.