Formal Specification CSMA/CA Using Finite and Model-Checking of Precision Timed Automata
摘要
这篇论文论述正式说明并且有用我们为即时系统开发了的模型检查器的碰撞回避(CSMA/CA ) 协议的 CarrierSense 多重存取检查模型，当有限精确的网络预定了自动机，它被指定。CSMA/CA 协议在 IEEE 建议 802.11 标准被设计在无线随机的存取环境在传播期间减少碰撞的概率。然而，它不完全消除在二之间的碰撞或同时播送的更多的框架的可能性。我们调查什么将产生在框架之间的碰撞并且使用我们的自动确认工具为检查模型。
引用本文（GB/T 7714）
LI ., Liang Liang, Ma, 等. Formal Specification CSMA/CA Using Finite and Model-Checking of Precision Timed Automata[J]. 中国邮电高校学报：英文版, 2005.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。