Model-based verification of quantitative non-functional properties for software product lines

Title
Model-based verification of quantitative non-functional properties for software product lines
Authors
Keywords
-
Journal
INFORMATION AND SOFTWARE TECHNOLOGY
Volume 55, Issue 3, Pages 508-524
Publisher
Elsevier BV
Online
2012-08-02
DOI
10.1016/j.infsof.2012.07.017

Ask authors/readers for more resources

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started