A Formal Framework for Dependability and Resilience from A Software Engineering Perspective Вид публикации: Journal Article Авторы: Nicolas Guelfi Источник: Open Computer Science, Volume 1, № 3, p.294-328 (2011)