Author Info
Name
Affiliation
Papers
HAIPING PANG
East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China
2
Collaborators
Citations 
PageRank 
7
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.00.342020
Formalization and Verification of the Powerlink Protocol Using CSP.00.342016