D-Case Steps: New Steps for Writing Assurance Cases.

Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno

Browse the full SAFECOMP paper archive.