Architecture-based resilience evaluation for self-adaptive systems
From MaRDI portal
Publication:488390
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (1)
Cites Work
This page was built for publication: Architecture-based resilience evaluation for self-adaptive systems