Analyzing formal requirements specifications using an off-the-shelf model checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre. Analyzing formal requirements specifications using an off-the-shelf model checker. In 2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013. pages 1-9, IEEE, 2013. [doi]

This author has not been identified. Look up 'Gastón Scilingo' in GoogleThis author has not been identified. Look up 'María Marta Novaira' in GoogleThis author has not been identified. Look up 'Renzo Degiovanni' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in Google

runs on WebDSL