Markus Muller-Olm
External collaborator
Publications
Simula-affiliated publications listed
2018
Proceedings, refereed
Read Automatic Support of the Generation and Maintenance of Assurance Cases
C. Lin, W. Shen, T. Yue and G. Li
Automatic Support of the Generation and Maintenance of Assurance Cases
Symposium on Dependable Software Engineering: Theories, Tools and Applications