Formal compliance verification of interface protocols
Ya Ching Yang, Juinn Dar Huang, Chia Chih Yen, Che Hua Shih, Jing Yang Jou
研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審
7
引文
斯高帕斯（Scopus）