Compositional analysis of real-time embedded systems

Linh T. X. Phan, Insup Lee, Oleg Sokolsky. Compositional analysis of real-time embedded systems. In Rajesh K. Gupta, Vincent John Mooney, editors, Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 237-238, ACM, 2011. [doi]

Authors

Linh T. X. Phan

This author has not been identified. Look up 'Linh T. X. Phan' in Google

Insup Lee

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

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google