Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

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

VIEW MORE
Home > Scientific Research > Paper Publications

A Survey of Formal Techniques for Hardware/Software Co-Verification

Release Time:2022-10-05 Hits:

Date of Publication: 2022-10-05
Journal: 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018)
Page Number: 125-128

Prev One:A novel green software evaluation model for cloud robotics

Next One:Concept drift detection for data stream learning based on angle optimized global embedding and principal component analysis in sensor networks

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