A generic formal framework for protocol interoperability test and test cases minimization
Ning Zhong*, Zun Wen He, Jing Ming Kuang
*此作品的通讯作者
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
1
引用
（Scopus）