Fingerprint
Dive into the research topics of 'Verifying timing properties for distributed real-time systems using timing constraint Petri nets'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying timing properties for distributed real-time systems using timing constraint Petri nets
Jeffrey J.P. Tsai, Steve J. Yang, Yao Hsiung Chang, Eric Y.T. Juan
Research output: Contribution to journal › Conference article › peer-review
3
Scopus
citations