Title | Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities |
Publication Type | Conference Paper |
Authors | Mura, M., A. Panda, and M. Prevostini |
Title | Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities |
Publication Type | Conference Paper |
Authors | Mura, M., A. Panda, and M. Prevostini |