Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee. Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2869-2880, 2018. [doi]
@article{KimKEL18,
title = {Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems},
author = {Jin Hyun Kim and Kyong Hoon Kim and Arvind Easwaran and Insup Lee},
year = {2018},
doi = {10.1109/TCAD.2018.2858465},
url = {https://doi.org/10.1109/TCAD.2018.2858465},
researchr = {https://researchr.org/publication/KimKEL18},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {37},
number = {11},
pages = {2869-2880},
}