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]
Abstract is missing.