Sebastian Frank 0001, M. Alireza Hakamian, Lion Wagner, Jóakim von Kistowski, André van Hoorn. Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 136-137, IEEE, 2022. [doi]
Abstract is missing.