Login / Signup

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

Marwa ShoushaLionel C. BriandYvan Labiche
Published in: IEEE Trans. Software Eng. (2012)
Keyphrases