ALaRI Hang Glider

Search form

Education and Innovation in Embedded Systems Design

USI Università della Svizzera italiana, USI Faculty of Informatics, Advanced Learning and Research Institute USI Università della Svizzera italiana USI Faculty of Informatics USI Advanced Learning and Research Institute
TitleExecutable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities
Publication TypeConference Paper
AuthorsMura, M., A. Panda, and M. Prevostini