Click on a search word OR use the drop-down choices to search for a paper.

Show all

2018

Fung, Nick L S; Kokaly, Sahar; Sandro, Alessio Di; Salay, Rick; Chechik, Marsha

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases Proceedings Article

In: Skavhaug A. Gallina B., Schoitsch E. (Ed.): Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science, Springer, Cham, 2018, ISBN: 978-3-319-99229-7.

Abstract | Links | BibTeX | Tags: assessment algorithm, assurance case, automotive domain, change impact assessment, critical domains, graphical assurance case editor, MMINT-A Tool, model-driven development, power sliding door, tool support