Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

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

VIEW MORE
Home > Scientific Research > Paper Publications

基于层次化时间STM软件设计的形式化验证

Release Time:2022-07-03 Hits:

Date of Publication: 2013-01-01
Journal: 2013年全国理论计算机科学学术年会
Institution: 软件学院
Page Number: 42-46
Note: 新增回溯数据

Prev One:基于Zynq的演化硬件电路设计与实现

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