Login / Signup
Zhen-Tian Liu
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Advanced Metering Infrastructure
Petri Net
Verification Method
Temporal Logic
Top Venues
COMPSAC (2)
IEEE Access
CollaborateCom
</>
Publications
</>
Jing Liu
,
Zhen-Tian Liu
A Survey on Security Verification of Blockchain Smart Contracts.
IEEE Access
7 (2019)
Zhen-Tian Liu
,
Jing Liu
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models.
COMPSAC (2)
(2019)
Jing Liu
,
Zhen-Tian Liu
,
Yu-Qiang Zhao
CPN Model Based Standard Feature Verification Method for REST Service Architecture.
CollaborateCom
(2018)