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:

Date of Publication: 2014-01-01
Journal: 2014年全国计算机体系结构学术年会
Institution: 物理学院

Prev One:一种面向分布式无线网络的正则表达式匹配方法

Next One:依托新技术建设移动辅助教学一体化平台

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

Browse on mobile