System Prototype and Verification Using Metamodel-Based Transformations

Luis Pedro, Levi Lucio, Didier Buchs. System Prototype and Verification Using Metamodel-Based Transformations. IEEE Distributed Systems Online, 8(4), 2007. [doi]

Abstract

Abstract is missing.