A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect.

Shuji Kinoshita, Yoshiki Kinoshita

Browse the full SAFECOMP paper archive.