Verifiable Embedded Real-Time Application Framework

Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang. Verifiable Embedded Real-Time Application Framework. In Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan. pages 109-110, IEEE Computer Society, 2001. [doi]

@inproceedings{HsiungSGCC01,
  title = {Verifiable Embedded Real-Time Application Framework},
  author = {Pao-Ann Hsiung and Feng-Shi Su and Chuen-Hau Gao and Shu-Yu Cheng and Yu-Ming Chang},
  year = {2001},
  url = {http://computer.org/proceedings/rtas/1134/11340109abs.htm},
  tags = {application framework},
  researchr = {https://researchr.org/publication/HsiungSGCC01},
  cites = {0},
  citedby = {0},
  pages = {109-110},
  booktitle = {Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1134-1},
}