Login / Signup
Yu-Qiang Zhao
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Temporal Logic
Service Architecture
Petri Net
Top Venues
CollaborateCom
</>
Publications
</>
Jing Liu
,
Zhen-Tian Liu
,
Yu-Qiang Zhao
CPN Model Based Standard Feature Verification Method for REST Service Architecture.
CollaborateCom
(2018)