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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.