Heng Ling

According to our database, Heng Ling authored at least 1 paper in 2009.

Collaborative distances:

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

2009

On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.

Xiao Wu, Heng Ling, Yunwei Dong

Proceedings of the International Conference on Embedded Software and Systems, 2009