Automatic Support of the Generation and Maintenance of Assurance Cases.Chung-Ling Lin,Wuwei Shen,Tao Yue,Guangyuan LiSETTA(2018)引用 25|浏览34暂无评分关键词Assurance case, Safety pattern, Model transformation, Safety critical systemsAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要