AuthorsC. Lin, W. Shen, T. Yue and G. Li
TitleAutomatic Support of the Generation and Maintenance of Assurance Cases
AfilliationSoftware Engineering
Project(s)Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 
Publication TypeProceedings, refereed
Year of Publication2018
Conference NameSymposium on Dependable Software Engineering: Theories, Tools and Applications
Citation Key26048