Author Info
Name
Affiliation
Papers
GANG REN
Chinese Acad Sci, Inst Software, Beijing 100091, Peoples R China
3
Collaborators
Citations 
PageRank 
5
7
1.11
Referers 
Referees 
References 
19
78
30
Title
Citations
PageRank
Year
A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory.30.372017
A 3-Layer Method For Analysis Of Cooperative Behaviors Of Physical Devices In Cyber-Physical Systems10.352017
A Formal Approach for Modeling and Verification of Distributed Systems.30.402015