机译:循环协议的广义公平可达性分析
机译:通过广义合成协议的Weil定义胶体2-D层状过渡金属硫族化物纳米晶体。
机译:非确定时延容忍网络中的多机时机转发协议
机译:具有不确定和内部转换的循环规约的广义公平可及性分析
机译:探索甚至可达的全局状态空间以验证协议的死锁自由度。
机译:社区参与和护理过渡(CIRACT)临床和成本-效果研究:一项随机对照试验的研究方案
机译:循环协议的广义公平可达性分析
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。