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

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2018
Source ID
10.1109/tcad.2018.2858465

Entities

People

  • Arvind Easwaran
  • Insup Lee
  • Jin Hyun Kim
  • Kyong Hoon Kim

Organizations

  • Gyeongsang National University
  • Korea Institute of Energy Technology Evaluation and Planning
  • Ministry of Education
  • Ministry of Science, ICT and Future Planning
  • Nanyang Technological University
  • Office of Naval Research
  • University of Pennsylvania