Login / Signup

Model checking in-the-loop: Finding counterexamples by systematic simulation.

Flavio LerdaJames KapinskiHitashyam MakaEdmund M. ClarkeBruce H. Krogh
Published in: ACC (2008)
Keyphrases