Enforcer - Efficient Failure Injection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cyrille Artho, Armin Biere, Shinichi Honiden. Enforcer - Efficient Failure Injection. In Jayadev Misra, Tobias Nipkow, Emil Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Volume 4085 of Lecture Notes in Computer Science, pages 412-427, Springer, 2006. [doi]

This author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Armin Biere' in GoogleThis author has not been identified. It may be one of the following persons:

Shinichi Honiden

Look up 'Shinichi Honiden' in Google

runs on WebDSL