Zhangbo Duan

According to our database, Zhangbo Duan authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Template-based AADL automatic code generation.

Kai Hu, Zhangbo Duan, Jiye Wang, Lingchao Gao, Lihong Shang

Frontiers Comput. Sci., 2019

2018

Formal Modeling and Verification of Smart Contracts.

Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Formal Modeling and Verification of Blockchain System.

Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018