首页> 外文OA文献 >Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata

【2h】

Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata

机译：使用I / O约束自动机将通信协议中的兼容性和可替代性正式化

页面导航

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

著录项

作者
Mahdi Niamanesh; Rasool Jalili;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Learning-automata-based TDMA protocols for broadcast communication systems with bursty traffic [J] . Papadimitriou G.I., Pomportsis A.S. IEEE communications letters . 2000,第3期

机译：具有突发流量的广播通信系统的基于学习自动机的TDMA协议
2. Event Based Formalization of Communication Properties for an E-Commerce Protocol: An Event-B Approach [J] . Sanae El Mimouni, Mohamed Bouhdadi International journal of engineering research in Africa . 2018,第期

机译：基于事件的电子商务协议通信属性的形式化：事件B方法
3. A formalization of card-based cryptographic protocols via abstract machine [J] . Takaaki Mizuki, Hiroki Shizuya International Journal of Information Security . 2014,第1期

机译：通过抽象机对基于卡的加密协议进行形式化
4. Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata [C] . Mahdi Niamanesh, Rasool Jalili International Symposium on Fundamentals of Software Engineering(FSEN 2007); 20070417-19; Tehran(IR) . 2007

机译：使用I / O约束自动机使通信协议中的兼容性和替代性形式化
5. Classification, formalization and automatic verification of untraceability in RFID protocols. [D] . Khadem Mohtaram, Ali. 2013

机译：RFID协议中不可追溯性的分类，形式化和自动验证。
6. Optimizing radiotherapy protocols using computer automata to model tumour cell death as a function of oxygen diffusion processes [O] . Perrine Paul-Gilloteaux, Vincent Potiron, Grégory Delpon, -1

机译：使用计算机自动机优化放疗方案以模拟肿瘤细胞死亡作为氧扩散过程的函数
7. Synchronous protocol automata: A framework for modelling and verification of SoC communication architectures [O] . S. Ramesh, Arcot Sowmya 2015

机译：同步协议自动机：用于soC通信体系结构建模和验证的框架
8. Using the Vienna Development Method (VDM) to Formalize a Communication Protocol [R] . Pedersen, J. S., Klein, M. H. 1988

机译：使用维也纳发展方法（VDm）来形成通信协议

Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata

著录项

引文网络

相似文献

相关主题

期刊订阅