Carlo Ghezzi, Amir Molzam Sharifloo. Model-based verification of quantitative non-functional properties for software product lines. Information \& Software Technology, 55(3):508-524, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.