首页> 外文OA文献 >An Algebraic-Temporal Specification of a CSMA/CD-Protocol

【2h】

An Algebraic-Temporal Specification of a CSMA/CD-Protocol

机译：Csma / CD协议的代数时间规范

页面导航

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

著录项

作者
Mohamed Jmaiel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Using priced timed automata for the specification and verification of CSMA/CA in WSNs [J] . Hmidi Zohra, Laid Kahloul, Saber Benharzallah International Journal of Information and Communication Technology . 2020,第2期

机译：使用定价的自动机用于WSNS中CSMA / CA的规范和验证
2. Formal Specification and Model-Checking of CSMA/CA Using Finite Precision Timed Automata [J] . LI Liang, MA Hua-dong, LI Guang-yuan The journal of China Universities of Posts and Telecommunications . 2005,第3期

机译：有限精确定时自动机对CSMA / CA进行形式规范和模型检查
3. Formal Specification and Model-Checking of CSMA/CA Using Finite Precision Timed Automata [J] . LI Liang, MA Hua-dong, LI Guang-yuan 中国邮电高校学报（英文版） . 2005,第003期

机译：有限精确定时自动机对CSMA / CA进行形式规范和模型检查
4. Specification of a Collision-Free CSMA MAC Protocol for Wireless LANs: the CANlike protocol [C] . Guy Juanole, Xuan Hung Nguyen, Gerard Mouney International Conference on Smart Communications in Network Technologies . 2013

机译：用于无线局域网的免费CSMA MAC协议的规范：CANLIKE协议
5. Experimental evaluation of QCSMA and CSMA for ad-hoc wireless sensor networks on the Telosb platform. [D] . Satyanarayana Rao, Bhavani. 2014

机译：在Telosb平台上对Ad-hoc无线传感器网络进行QCSMA和CSMA的实验评估。
6. Circular RNA circSMARCA5 is a prognostic biomarker in patients with malignant tumor: a meta-analysis [O] . Fan Chao, Shiyu Wang, Cong Zhang, 2021

机译：圆形RNA CircSmarca5是恶性肿瘤患者的预后生物标志物：META分析
7. Specification of a Collision-Free CSMA MAC Protocol for Wireless LANs: the CANlike protocol [O] . Guy Juanole, Xuan Hung Nguyen, Gérard Mouney 2015

机译：用于无线LaN的无冲突Csma maC协议的规范：CaNlike协议

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号