Composable Safety-Critical Systems Based on Pre-certified Software Components.

Andreas Sderberg, Benjamin Vedder

Browse the full ISSRE paper archive.