A Formal Condition to Stop an Incremental Automatic Functional Diagnosis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luca Amati, Cristiana Bolchini, Fabio Salice, Federico Franzoso. A Formal Condition to Stop an Incremental Automatic Functional Diagnosis. In Sebastián López, editor, 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France. pages 637-643, IEEE, 2010. [doi]

This author has not been identified. Look up 'Luca Amati' in GoogleThis author has not been identified. Look up 'Cristiana Bolchini' in GoogleThis author has not been identified. Look up 'Fabio Salice' in GoogleThis author has not been identified. Look up 'Federico Franzoso' in Google

runs on WebDSL