Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.

Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi

Browse the full DDECS paper archive.