Conditional safety certificates in open systems

Daniel Schneider, Mario Trapp. Conditional safety certificates in open systems. In Jean-Charles Fabre, Olivier Guetta, Mario Trapp, editors, 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010. ACM International Conference Proceeding Series, pages 57-60, ACM, 2010. [doi]

Abstract

Abstract is missing.