Dynamic Safety Contracts for Functional Cooperation of Automotive Systems.

Sebastian Mller, Peter Liggesmeyer

Browse the full SAFECOMP paper archive.