Conditional safety certificates in open systems.

Daniel Schneider, Mario Trapp

Browse the full EDCC paper archive.