A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake. A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. In Klaus Schmid, Øystein Haugen, Johannes Müller, editors, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, January 21-23, 2015. pages 80, ACM, 2015. [doi]

This author has not been identified. Look up 'Fabian Benduhn' in GoogleThis author has not been identified. It may be one of the following persons:

Thomas Thüm

Look up 'Thomas Thüm' in GoogleThis author has not been identified. Look up 'Malte Lochau' in GoogleThis author has not been identified. It may be one of the following persons:

Thomas Leich

Look up 'Thomas Leich' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'Gunter Saake' in Google

runs on WebDSL