Formal compliance verification of interface protocols

Ya Ching Yang*, Juinn-Dar Huang, Chia Chih Yen, Che Hua Shih, Jing Yang Jou

*此作品的通信作者

研究成果: Conference contribution同行評審

7 引文 斯高帕斯(Scopus)

指紋

深入研究「Formal compliance verification of interface protocols」主題。共同形成了獨特的指紋。

Engineering & Materials Science