Shu-Yu Cheng

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Pao-Ann Hsiung, Shu-Yu Cheng
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design (2003)
Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang
Verifiable Embedded Real-Time Application Framework. IEEE Real Time Technology and Applications Symposium (2001)