Documents Insup Lee PRECISE Center Department of Computer and Information Science University of Pennsylvania

Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems Insup Lee PRECISE Center Department of Computer and Information Science…