A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.

Marwa Shousha, Lionel C. Briand, Yvan Labiche

Browse the full MODELS paper archive.