Timed protocol verification for Estelle-specified protocols

Chung Ming Huang, Shiun Wei Lee

研究成果: Article同行評審

3 引文 斯高帕斯(Scopus)

指紋

深入研究「Timed protocol verification for Estelle-specified protocols」主題。共同形成了獨特的指紋。

Engineering & Materials Science