Safety Analysis of Safety-Critical Systems Using State-Space Models

Vinay Kumar, Lalit Kumar Singh, Anil Kumar Tripathi, Pooja Singh. Safety Analysis of Safety-Critical Systems Using State-Space Models. IEEE Software, 34(4):38-47, 2017. [doi]

Abstract

Abstract is missing.