Automatic Support of the Generation and Maintenance of Assurance Cases.

Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li

Browse the full SETTA paper archive.