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]

@inproceedings{PhanLS11-0,
  title = {Compositional analysis of real-time embedded systems},
  author = {Linh T. X. Phan and Insup Lee and Oleg Sokolsky},
  year = {2011},
  doi = {10.1145/2038698.2038736},
  url = {http://doi.acm.org/10.1145/2038698.2038736},
  researchr = {https://researchr.org/publication/PhanLS11-0},
  cites = {0},
  citedby = {0},
  pages = {237-238},
  booktitle = {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},
  editor = {Rajesh K. Gupta and Vincent John Mooney},
  publisher = {ACM},
  isbn = {978-1-4503-0713-0},
}