首页> 外文OA文献 >Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols

【2h】

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols

机译：响应通信协议简化验证方法的实验评估

页面导航

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

著录项

作者
Tohru Kikuno et al.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol [J] . Shinichi NAGANO, Tohru KIKUNO, Yoshiaki KAKUDA IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 1998,第4期

机译：一种使用虚拟系统状态进行响应通信协议验证的新方法及其在广播协议中的应用
2. Verification of telecommunication protocols based on formal methods [J] . Tkacheva Elena Borisovna, Lubov Demchenko Vasilievna, Saied Halawa Fawaz International Journal of Intelligent Information Systems . 2013,第1期

机译：基于形式方法的电信协议验证
3. Max-Plus Matrix Method for Correctness Verification of Communication Protocols ? [J] . Cailu Wang, Yuegang Tao, Jianguo Tan IFAC PapersOnLine . 2020,第4期

机译：MAX-Plus矩阵方法用于正确验证通信协议？
4. Experimental evaluation of simplified verification methods for responsive communication protocols [C] . Nagano, S., Kikuno, Real-Time Computing Systems and Applications, 1998. Proceedings. Fifth International Conference on . 1998

机译：响应式通信协议的简化验证方法的实验评估
5. Experimental evaluation of delay tolerant networking (DTN) protocols for cislunar communications with link disruption. [D] . Wu, Xuan. 2008

机译：具有链接中断的顺式通信的延迟容忍网络（DTN）协议的实验评估。
6. Evaluation and verification of a simplified lead equivalency measurement method [O] . Richard Ryan Wargo, Areej Fawzi Aljabal, Pei‐Jan Paul Lin 2020

机译：评估和验证简化的铅当量测量方法
7. Verification of Telecommunication Protocols Based on Formal Methods [O] . Tkacheva Elena Borisovna 2013

机译：基于形式方法验证电信协议

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅