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

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets

Hits:

Indexed by:会议论文

Date of Publication:2013-01-01

Page Number:62-76

Pre One:erviceTrust: Trust Management in Service Provision Networks. IEEE SCC 2013: 272-279

Next One:Programmable scheduling based on multi-core processor
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