Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. Reich, J., Zeller, M., & Schneider, D. In Lecture Notes in Computer Science, pages 254–268. Springer International Publishing, 2019.
Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities [pdf]Pdf  doi  bibtex   

Downloads: 0