SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.

Oluwafemi Odu, Daniel Mndez Beltrn, Emiliano Berrones Gutirrez, Alvine B. Belle, Gerhard Yu, Melika Sherafat

Browse the full SAFECOMP paper archive.