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)