UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems
- Authors
- M. Shousha, L. C. Briand and Y. Labiche
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2012
- Journal
- IEEE Transactions on Software Engineering
- Publisher
- IEEE
- Citation key
- 8859