Yinai Sun

According to our database, Yinai Sun authored at least 2 papers between 2006 and 2007.

Collaborative distances:

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

2007

Transformation-based assessment for C programs.

Guangqiang Li, Weimin Wu, Yinai Sun, Jing Wang, Tianwu Lai

Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007

2006

Extension Set and the Dependent Function of System Model.

Yinai Sun, Yongquan Yu, Wen Cai, Guangqiang Li

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006