Huijun Qi

1PUBLICATIONS
2CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Aug 29, 2024
Research on Automated Modeling Technology of Sluice Gate Project Based on BIM Technology.

Jiedeerbieke Madiniyeti, Qiujing Zhou, Huijun Qi

Pageof 1