On the use of a high-level fault model to analyze logical consequence of properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefano Brait, Franco Fummi, Graziano Pravadelli. On the use of a high-level fault model to analyze logical consequence of properties. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 221-230, IEEE, 2005. [doi]

This author has not been identified. Look up 'Stefano Brait' in GoogleThis author has not been identified. Look up 'Franco Fummi' in GoogleThis author has not been identified. Look up 'Graziano Pravadelli' in Google

runs on WebDSL