Sign in

Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.

Eun-Young Kang
Published in: ICSE (2004)
Keyphrases