Cited By
View all- Fakhir IKazmi AQasim AIshaq A(2023)SMACS: A framework for formal verification of complex adaptive systemsOpen Computer Science10.1515/comp-2022-027513:1Online publication date: 25-May-2023
- Ghahremani SGiese H(2020)Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required ImprovementsComputers10.3390/computers90100169:1(16)Online publication date: 27-Feb-2020
- Ghahremani SGiese HVogel T(2020)Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic ArchitecturesACM Transactions on Autonomous and Adaptive Systems10.1145/338096514:3(1-41)Online publication date: 25-Feb-2020
- Show More Cited By