Eun-Young Kang
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation
ICSE, 2004.
@inproceedings{ICSE-2004-Kang, author = "Eun-Young Kang", booktitle = "{Proceedings of the 26th International Conference on Software Engineering}", doi = "10.1109/ICSE.2004.1317415", editor = "Anthony Finkelstein and Jacky Estublier and David S. Rosenblum", isbn = "0-7695-2163-0", pages = "39--41", publisher = "{IEEE Computer Society}", title = "{Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation}", year = 2004, }