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

Eun-Young Kang

Browse the full ICSE paper archive.