Eun-Young Kang. Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 39-41, IEEE Computer Society, 2004. [doi]
@inproceedings{Kang04:1,
title = {Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation},
author = {Eun-Young Kang},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630039abs.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/Kang04%3A1},
cites = {0},
citedby = {0},
pages = {39-41},
booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom},
publisher = {IEEE Computer Society},
isbn = {0-7695-2163-0},
}