id: Simula.SE.409
authors: Marwa Shousha, Lionel Briand, and Yvan Labiche
title: A UML/MARTE Model Analysis Methodology for Detection of Starvation and Deadlocks in Concurrent Systems
publication_year: 2009
abstract: 
publication_url: 
pdf_url: 
journal: IEEE Transactions on Software Engineering
volume: 
number: 
pages: 
pmid: 
DOI: 
keywords: ()
publication_month: 
note: 
annote: 
additional: []
location: 
publication_state: Submitted
simula_ou: [<Department at /simula/department/certus>, <Department at /simula/research/approve>]
publisher_url: