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

基于事件驱动机制的并发程序分析

Hits:

Indexed by:会议论文

Date of Publication:2012-01-01

Pre One:DATAFLOW-BASED TYPE RECOVERY ALGORITHM FOR BINARY CODE

Next One:Effective Test Case Generation via Concolic Execution
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