An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.

Zonghua Gu, Kang G. Shin

Browse the full ICDCS paper archive.