Ricerca di contatti, progetti,
corsi e pubblicazioni

Executable Models and Verification from MARTE and SysML: a comparative study of code generation capabilities

Informazioni aggiuntive

Autori
Mura M., Panda A., Prevostini M.
Tipo
Contributo in atti di convegno
Anno
2008
Lingua
Inglese
Titolo atti di convegno
DATE'08, Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile, Proc. pp 29-34
Collana
DATE'08, Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profileProc. pp 29-34 Munich, Germany, 14 March 2008
Nome convegno
Workshop on Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile
Luogo convegno
Munich, Germany
Data convegno
14 March 2008