Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:

VIEW MORE
Home > Scientific Research > Paper Publications

基于程序骨架的软件模型验证加速方法

Release Time:2022-07-03 Hits:

Indexed by: Conference Paper
Date of Publication: 2022-06-29
Journal: 2013全国高性能计算学术年会
Institution: 物理学院
Page Number: 736-740
Note: 新增回溯数据

Prev One:基于社交网络手段的移动微课平台建设探索

Next One:基于遗传算法的嵌入式软件WCSD检测方法

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:  | The Last Update Time:..  | Open Time:..  | DALIAN UNIVERSITY OF TECHNOLOGY | Login