Pang Jun

A formal software development approach using refinement calculus

Zha Ming, Wang Yunfeng, Zheng Guoliang, 2001 .

Discussion of fire prevention measures about electrical wire and cable based on typical fire accident

Pang Jun, 2008 .

A review of the key technologies for complex sculptured surface CNC cutting

Pang Jun, 2005 .

A formal software development approach based on COOZ and refinement calculus

Zha Ming, Wang Yunfeng, Zheng Guoliang, 1999 .

Dynamic Analysis of Planar Parallel Robot Based on Multi-Agent

Li Zhen, Wang Jianbin, Pang Jun, 2011, 2011 Third International Conference on Measuring Technology and Mechatronics Automation.

Application of PLG in the copper alloy extrusion press PLC position control system

Pang Jun, 2003 .

A hardware approach to reconfigurable lossless real-time tracer

Shi Lei, Hou Chao-huan, Wang Dong-hui, 2007, 2007 7th International Conference on ASIC.

The Optimal Design of Steel Pipe Holding Pole Based on S600 UHV Transmission Line Tower

Pang Jun, 2011 .