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}, }