Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-8, IEEE, 2017. [doi]

This author has not been identified. Look up 'Jacques Julliand' in GoogleThis author has not been identified. Look up 'Olga Kouchnarenko' in GoogleThis author has not been identified. Look up 'Pierre-Alain Masson' in GoogleThis author has not been identified. Look up 'Guillaume Voiron' in Google

runs on WebDSL