A Model-Driven Approach to Quantitative Analysis of Critical Systems

Roberto Nardone. A Model-Driven Approach to Quantitative Analysis of Critical Systems. PhD thesis, University of Naples Federico II, Italy, 2013. [doi]

Abstract

Abstract is missing.