An evaluation of the optimality of frequent verification for vertically integrated systems

Aditya U. Kulkarni, Alejandro Salado, Peng Xu, Christian Wernz. An evaluation of the optimality of frequent verification for vertically integrated systems. Systems Engineering, 24(1):17-33, 2021. [doi]

Abstract

Abstract is missing.