Automotive safety case pattern.

Georg Macher, Harald Sporer, Christian Kreiner

Browse the full EuroPLop paper archive.