Verifiable Embedded Real-Time Application Framework.
Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang
VenueARTAS
Year2001
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/HsiungSGCC01 ↗
Browse the full RTAS paper archive.