Selaus tekijän mukaan kokoelmassa Väitöskirjoja
-
Formal development of resilient distributed systems
Pereverzeva, Inna
TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...