System design for enhanced forward-engineering possibilities of safety critical embedded systems.

Martin Krammer, Michael Karner, Anton Fuchs

Browse the full DDECS paper archive.