Method for detecting errors in logic operation of telecommunication protocols

机译：电信协议逻辑操作中的错误检测方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper is devoted to the development of method for detecting the causes of the errors that arise in the operation of protocols for information exchange, which based on the construction of counterexamples.

机译：本文基于反例的构建，致力于信息交换协议操作中错误产生原因的检测方法的开发。

著录项

来源
《Modern Problems of Radio Engineering Telecommunications and Computer Science (TCSET), 2012 International Conference on》|2012年|p.265|共1页
会议地点 Lviv-Slavsko(UA)
作者
Duravkin E. V.;
展开▼
作者单位

Kharkiv National University of Radio and Electronics, the rest Lenin, 14, Kharkov, 61166, UKRAINE;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类通信;
关键词

相似文献

外文文献
中文文献
专利

1. Patent Issued for Method and Apparatus for Generating Diagnostic Information for Errors Detected in a Network Management Protocol [J] . Journal of Engineering . 2013,第12期

机译：已针对在网络管理协议中检测到的错误生成诊断信息的方法和设备颁发了专利
2. Asymptotic Assessments of CRC Error Probabilities in Some Telecommunication Protocols [J] . A. P. Baranov, P. A. Baranov Automatic Control and Computer Sciences . 2016,第8期

机译：一些电信协议中CRC误差概率的渐近评估
3. Differences Between Methods of Detecting Medication Errors: A Secondary Analysis of Medication Administration Errors Using Incident Reports, the Global Trigger Tool Method, and Observations [J] . Harkanen Marja, Turunen Hannele, Vehvilainen-Julkunen Katri Journal of patient safety . 2020,第2期

机译：检测药物误差方法之间的差异：使用事件报告，全局触发工具方法和观察的药物管理误差的二次分析
4. Method for detecting errors in logic operation of telecommunication protocols [C] . Duravkin E. V. International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science . 2012

机译：检测电信协议逻辑操作中的错误的方法
5. Design exploration frameworks for detecting and mitigating transient errors in logic circuits. [D] . Almukhaizim, Sobeeh A. 2007

机译：设计探索框架，用于检测和缓解逻辑电路中的瞬态错误。
6. Errors in general practice: development of an error classification and pilot study of a method for detecting errors [O] . G Rubin, A George, D Chinn, 2003

机译：一般实践中的错误：错误分类的开发和检测错误的方法的初步研究
7. Verification of Telecommunication Protocols Based on Formal Methods [O] . Tkacheva Elena Borisovna 2013

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

Method for detecting errors in logic operation of telecommunication protocols

摘要

著录项

相似文献

相关主题

期刊订阅