How to capture dynamic behaviours of dependable systems

Salvatore Distefano. How to capture dynamic behaviours of dependable systems. IJPEDS, 24(2):127-150, 2009. [doi]

Abstract

Abstract is missing.