ad hoc networks; wireless sensor networks; formal specification; formal verification; message passing; decision making; ad-hoc sensor network; message passing; wireless link; destination node; decision making; model checking; formal verification; formal specification;
机译:使用SPIN对临时传感器网络进行建模,规范和验证
机译:用于宽枣棕榈林监视的无线传感器网络:(规格和验证级别)
机译:基于不同无线电模型的AD-HOC传感器网络的反应性和反应性协议的性能评估
机译:ad-hoc传感器网络:建模,规范和验证
机译:传感器网络工作台:进行功能规范,约束分布式系统的验证和部署。
机译:人体传感器网络和车辆自组织网络的集成以确保交通安全
机译:用于监视宽枣棕榈林的无线传感器网络:(规格和验证级别)