Shu-Yu Cheng

According to our database, Shu-Yu Cheng authored at least 2 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems.

Pao-Ann Hsiung, Shu-Yu Cheng

Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

2001

Verifiable Embedded Real-Time Application Framework.

Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001