Hang Van Kieng

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Concurrent Systems

Formal Verification

Top Venues

FDSE (CCIS Volume)

Publications

An C. Tran, Vo Quoc Bao Bui, Ho Gia Huy, Hang Van Kieng, Van Long Nguyen Huu
A Model for Car Registration System based on Blockchain Technology. ACOMP (2021)
An C. Tran, Hang Van Kieng, Dang Xuan Mai, Van Long Nguyen Huu
A Consortium Blockchain-Based Platform for Academic Certificate Verification. FDSE (CCIS Volume) (2021)