From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane B. de Brisolara, Flávio Rech Wagner. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. RITA, 20(1):102-139, 2013. [doi]

Abstract

Abstract is missing.