Automated consistency checking of UML/MARTE based software systems.

Shouvik Dey, Rumpa Hazra, Ananya Kanjilal, Swapan Bhattacharya

Browse the full Tencon paper archive.