( en | de | ru )

 

Disambiguation of "Gao, Qiang"

Author of the publication

copydeleteadd this publication to your clipboard
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.

, , , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Qiang Gao

Xiaoyu Qiang

Wenjiang Qiang

You Qiang

Liu Qiang

 

Other publications of authors with the same name

Specification, validation and implementation of ATM UNI signaling protocols in SDL., , and . SDL Forum, page 341-354. Elsevier, (1999)Design and Implementation of a Reliable QAM Baseband System Based on FPGA., , , and . ICCT, page 25-29. IEEE, (2019)Cucumber Detection Based on Texture and Color in Greenhouse., , , , and . IJPRAI, 31 (8): 1754016:1-1754016:17 (2017)The Classification of Multiple Power Quality Disturbances Based on Dynamic Event Tree and Support Vector Machine., , , , , and . AMLTA, volume 921 of Advances in Intelligent Systems and Computing, page 321-329. Springer, (2019)LEMAR: A novel length matching routing algorithm for analog and mixed signal circuits., , and . ASP-DAC, page 157-162. IEEE, (2012)Connection tree based micro-mobility management for IP-centric mobile networks., and . WCNC, page 30-35. IEEE, (2002)Optimization of foam-filled double ellipse tubes under multiple loading cases., , , , and . Adv. Eng. Softw., (2016)Quantifying the relationships of soil properties and crop growth with yield in a NPK fertilizer application maize field., , , , , and . Comput. Electron. Agric., (2022)Research status of virtual instrument technology and its prospect in seismic observation., , , , , , and . ISCIT, page 407-409. IEEE, (2016)Development situation and prospects of seismometer., , , , , , and . ISCIT, page 410-413. IEEE, (2016)