External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems

Marwa Shousha, Lionel C. Briand, Yvan Labiche. A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. IEEE Trans. Software Eng., 38(2):354-374, 2012. [doi]

Authors

Marwa Shousha

This author has not been identified. Look up 'Marwa Shousha' in Google

Lionel C. Briand

This author has not been identified. It may be one of the following persons: Look up 'Lionel C. Briand' in Google

Yvan Labiche

This author has not been identified. Look up 'Yvan Labiche' in Google
runs on