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)

指紋

深入研究「Verifying timing properties for distributed real-time systems using timing constraint Petri nets」主題。共同形成了獨特的指紋。

Keyphrases

Computer Science