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
研究成果: 雜誌貢獻 › 會議論文 › 同行評審
3
引文
斯高帕斯（Scopus）