Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE
Home > Scientific Research > Paper Publications

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs

Date of Publication:2022-10-03 Hits:

Date of Publication:2022-10-03
Journal:Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019
Page Number:25-36

Pre One:FTEI: A Fault Tolerance Model of FPGA with Endogenous Immunity

Next One:The Dynamic Evaluation Strategy for Evolvable Hardware

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