Login / Signup
Chengkai Xu
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Hardware Designs
Energy Consumption
Software Architecture
Petri Net
Top Venues
J. Comput.
J. Softw.
计算机科学
</>
Publications
</>
Daoxi Chen
,
Guangquan Zhang
,
Chengkai Xu
,
Guobin Chen
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).
计算机科学
42 (7) (2015)
Guangquan Zhang
,
Mingtai Zhang
,
Rongjie Yan
,
Mingcai Chen
,
Chengkai Xu
,
Yejing Li
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.
J. Comput.
9 (2) (2014)
Guangquan Zhang
,
Kan Zhang
,
Xueyang Zhu
,
Mingcai Chen
,
Chengkai Xu
,
Yuzhen Shao
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption.
J. Softw.
8 (11) (2013)