Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems

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]

Authors

Jin Hyun Kim

This author has not been identified. Look up 'Jin Hyun Kim' in Google

Kyong Hoon Kim

This author has not been identified. Look up 'Kyong Hoon Kim' in Google

Arvind Easwaran

This author has not been identified. Look up 'Arvind Easwaran' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google