Real-Time Component Composition Using Hierarchical Timed Automata

Xianli Jin, Huadong Ma, Zonghua Gu. Real-Time Component Composition Using Hierarchical Timed Automata. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 90-99, IEEE Computer Society, 2007. [doi]

@inproceedings{JinMG07,
  title = {Real-Time Component Composition Using Hierarchical Timed Automata},
  author = {Xianli Jin and Huadong Ma and Zonghua Gu},
  year = {2007},
  doi = {10.1109/QSIC.2007.44},
  url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.44},
  tags = {composition},
  researchr = {https://researchr.org/publication/JinMG07},
  cites = {0},
  citedby = {0},
  pages = {90-99},
  booktitle = {Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA},
  publisher = {IEEE Computer Society},
}