Time properties dedicated transformation from UML-MARTE activity to time transition system

Ning Ge, Marc Pantel, Xavier Crégut. Time properties dedicated transformation from UML-MARTE activity to time transition system. ACM SIGSOFT Software Engineering Notes, 37(4):1-8, 2012. [doi]

Abstract

Abstract is missing.