Dependability analysis of DES based on MARTE and UML state machines models

José Merseguer, Simona Bernardi. Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems, 22(2):163-178, 2012. [doi]

Abstract

Abstract is missing.