Haiping Pang

According to our database, Haiping Pang authored at least 3 papers between 2013 and 2020.

Collaborative distances:

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

2020

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.

Yanhong Huang, Haiping Pang, Jianqi Shi

Formal Aspects Comput., 2020

2016

Formalization and Verification of the Powerlink Protocol Using CSP.

Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2013

Robust Optimal Sliding-Mode Tracking Control for a Class of Uncertain Nonlinear MIMO Systems.

Haiping Pang, Xiuqin Yang

J. Appl. Math., 2013