A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design.

Nobuaki Tanaka, Hisashi Yomiya, Kiyoshi Ogawa

Browse the full SAFECOMP paper archive.