Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System

Celso M. Hirata, Ana Maria Ambrosio. Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System. IEEE Systems Journal, 16(4):6635-6646, 2022. [doi]

Abstract

Abstract is missing.