Static analysis and family-based model checking of featured transition systems with VMC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt. Static analysis and family-based model checking of featured transition systems with VMC. In Mohammad Mousavi, Pierre-Yves Schobbens, editors, SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. pages 24-27, ACM, 2021. [doi]

This author has not been identified. Look up 'Maurice H. ter Beek' in GoogleThis author has not been identified. Look up 'Franco Mazzanti' in GoogleThis author has not been identified. Look up 'Ferruccio Damiani' in GoogleThis author has not been identified. It may be one of the following persons:

Luca Paolini

Look up 'Luca Paolini' in GoogleThis author has not been identified. Look up 'Giordano Scarso' in GoogleThis author has not been identified. Look up 'Michele Valfrè' in GoogleThis author has not been identified. Look up 'Michael Lienhardt' in Google

runs on WebDSL