Architecture-based resilience evaluation for self-adaptive systems

DOI10.1007/S00607-013-0311-7zbMath1314.68104OpenAlexW2062877251WikidataQ62040629 ScholiaQ62040629MaRDI QIDQ488390

Marco Vieira, Rogério De Lemos, Raquel Almeida, Javier Cámara, Rafael Ventura

Publication date: 26 January 2015

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/40556/1/10.1007_s00607-013-0311-7.pdf

zbMATH Keywords

resiliencearchitecture-based approachself-adaptive software systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

A conceptual framework for resilience: fundamental definitions, strategies and metrics

Cites Work

• Stochastic Model Checking
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Architecture-based resilience evaluation for self-adaptive systems