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

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

Release Time:2019-03-12  Hits:

Indexed by: Conference Paper

Date of Publication: 2013-01-01

Page Number: 62-76

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

Next One:Programmable scheduling based on multi-core processor