Model-based assurance evidence management for safety-critical systems

Jose Luis de la Vara, Arturo S. GarcĂ­a, Jorge Valero, Clara Ayora. Model-based assurance evidence management for safety-critical systems. Software and Systems Modeling, 21(6):2329-2365, 2022. [doi]

Abstract

Abstract is missing.