Symbolic Fault Injection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Larsson, Reiner Hähnle. Symbolic Fault Injection. In Bernhard Beckert, editor, Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. Volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

This author has not been identified. Look up 'Daniel Larsson' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in Google

runs on WebDSL