Model checking in-the-loop: Finding counterexamples by systematic simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh. Model checking in-the-loop: Finding counterexamples by systematic simulation. In American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008. pages 2734-2740, IEEE, 2008. [doi]

This author has not been identified. Look up 'Flavio Lerda' in GoogleThis author has not been identified. Look up 'James Kapinski' in GoogleThis author has not been identified. Look up 'Hitashyam Maka' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Bruce H. Krogh' in Google

runs on WebDSL