location： Current position: Home >> Scientific Research >> Paper Publications

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

Hits:

Indexed by:会议论文

First Author:刘琨

Co-author:孔维强,侯刚,Akira Fukuda

Date of Publication:2018-01-01

Page Number:125-128

Pre One:Toward Sustainable Smart Mobility Information Infrastructure Platform ：Project Overview

Next One:Analysis of Interrupt Behavior Based on Probabilistic
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

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

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep