Shouvik Dey, Rumpa Hazra, Ananya Kanjilal, Swapan Bhattacharya. Automated consistency checking of UML/MARTE based software systems. In TENCON 2018 - 2018 IEEE Region 10 Conference, Jeju, South Korea, October 28-31, 2018. pages 2270-2275, IEEE, 2018. [doi]
Abstract is missing.