On-the-fly model checking for C programs with extended CADP in FMICS-jETI - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán. On-the-fly model checking for C programs with extended CADP in FMICS-jETI. In 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand. pages 321-329, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'María-del-Mar Gallardo' in GoogleThis author has not been identified. Look up 'Pedro Merino' in GoogleThis author has not been identified. Look up 'Christophe Joubert' in GoogleThis author has not been identified. Look up 'David Sanán' in Google

runs on WebDSL