Integrating Safety Analyses and Component-Based Design.

Dominik Domis, Mario Trapp

Browse the full SAFECOMP paper archive.