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.

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking

Carlo Ghezzi, Amir Molzam Sharifloo. Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. In Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. pages 170-174, IEEE, 2011. [doi]

Authors

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google

Amir Molzam Sharifloo

This author has not been identified. Look up 'Amir Molzam Sharifloo' in Google
runs on