Shu-Yu Cheng

	2003
2		Pao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254
	2001
1		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: 109-110

Coauthor Index

1	Yu-Ming Chang	[1]
2	Chuen-Hau Gao	[1]
3	Pao-Ann Hsiung	[1] [2]
4	Feng-Shi Su	[1]