Automatic Deduction of the Impact of Context Variability on System Safety Goals.

Andreas Kreutz, Gereon Weiss, Mario Trapp

Browse the full EDCC paper archive.