Vertical Safety Interfaces - Improving the Efficiency of Modular Certification.

Bastian Zimmer, Susanne Brklen, Michael Knoop, Jens Hfflinger, Mario Trapp

Browse the full SAFECOMP paper archive.