Emerging high assurance solutions for safe, secure, and reliable software systems

Radu F. Babiceanu, Hélène Waeselynck. Emerging high assurance solutions for safe, secure, and reliable software systems. Journal of Software Maintenance, 30(3), 2018. [doi]

Abstract

Abstract is missing.