A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case.

Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova

Browse the full ICFEM paper archive.