Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods

Azad M. Madni, Dan Erwin, Michael Sievers. Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods. Systems, 8(1):3, 2020. [doi]

Abstract

Abstract is missing.