Login / Signup

Robust Test Generation and Coverage for Hybrid Systems.

A. Agung JuliusGeorgios E. FainekosMadhukar AnandInsup LeeGeorge J. Pappas
Published in: HSCC (2007)
Keyphrases