A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems
- Authors
- M. Shousha, L. Briand and Y. Labiche
- Editors
- A. Schürr and B. Selic
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2009
- Journal
- ACM/IEEE MODELS 2009
- Publisher
- Springer-Verlag Berlin, Heidelberg
- Citation key
- 9615