Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi. Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. In Jaan Raik, Viera Stopjaková, Heinrich Theodor Vierhaus, Witold A. Pleskacz, Raimund Ubar, Helena Kruus, Maksim Jenihhin, editors, IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012. pages 187-190, IEEE, 2012. [doi]
Abstract is missing.