BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
Platform-specific timing verification framework in model-based implementation
DATE, 2015.
@inproceedings{DATE-2015-KimFPSL,
acmid = "2755804",
author = "BaekGyu Kim and Lu Feng and Linh T. X. Phan and Oleg Sokolsky and Insup Lee",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "235--240",
publisher = "{ACM}",
title = "{Platform-specific timing verification framework in model-based implementation}",
year = 2015,
}