首页> 外文OA文献 >一种形式化的实时协议互操作性测试方法

【2h】

一种形式化的实时协议互操作性测试方法

机译：一种形式化的实时协议互操作性测试方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
之梁王; 霞尹; 传明景;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明 [J] . 夏金月, 王建东, 方黎明, 南京航空航天大学学报（英文版） . 2008,第004期

机译：ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明
2. 一种基于单偏振光子的量子密钥分配协议 [J] . Computer Science and Application . 2017,第7期

机译：一种基于单偏振光子的量子密钥分配协议
3. 论实践中一种新型担保——“以买卖作担保”协议效力 [J] . 耿宗程, 王和平黑龙江省政法管理干部学院学报 . 2016,第005期

机译：论实践中一种新型担保——“以买卖作担保”协议效力
4. 一种基于认知的并行汇聚点的多信道MAC协议 [C] . 高刄, 王挥 International Conference on Internet Technology and Applications . 2011

机译：一种基于认知的并行汇聚点的多信道MAC协议
5. A Sensor Selection Strategy for Opportunistic Sensing with Mobility Resources =利用移动数据源进行基于机会的数据采集的一种采集者选择策略 [D] . Li, Qingtian. 2020

机译：A Sensor Selection Strategy for Opportunistic Sensing with Mobility Resources =利用移动数据源进行基于机会的数据采集的一种采集者选择策略
6. 中国医科大学成功举办肺癌论坛-2018沈阳高端学术大会并签署中美肺癌研究与临床诊治合作协议 [O] . 张军 (Jun ZHANG) 2018

机译：中国医科大学成功举办肺癌论坛-2018沉阳高端学术大会并签署中美肺癌研究与临床诊治合作协议
7. 一种VFSM的图形用户界面的测试方法 [O] . 陈启安, 李小将, 李蜀瑜 2002

机译：一种VFSM的图形用户界面的测试方法

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号