Hui Kong

Hui Kong

Technical Expert, Huawei Technologies Co., Ltd.
Email yang diverifikasi di huawei.com
Dirujuk 399 kali
Formal Methods Model Checking Hybrid System Verification Artificial Intelligence AUTOSAR software verification