UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman

Browse the full ISDA paper archive.