Rigorous Specification and Conformance Testing Techniques For Network . . .
mag（2005）
关键词
theory,design,tcp ip,api,standardization,hol,conformance testing,higher order logic,operational semantics,specification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要