Login / Signup
Haiping Pang
ORCID
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 2
Top Topics
Mimo Systems
Decomposition Methods
Formal Proof
Model Checker
Top Venues
APSEC
Formal Aspects Comput.
J. Appl. Math.
</>
Publications
</>
Yanhong Huang
,
Haiping Pang
,
Jianqi Shi
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.
Formal Aspects Comput.
32 (1) (2020)
Haiping Pang
,
Ju Li
,
Yijia Ruan
,
Yanhong Huang
,
Jianqi Shi
,
Shengchao Qin
Formalization and Verification of the Powerlink Protocol Using CSP.
APSEC
(2016)
Haiping Pang
,
Xiuqin Yang
Robust Optimal Sliding-Mode Tracking Control for a Class of Uncertain Nonlinear MIMO Systems.
J. Appl. Math.
2013 (2013)