Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.

Marc Zeller, Kai Hfig, Martin Rothfelder

Browse the full SAFECOMP paper archive.