机译:使用SPIN对临时传感器网络进行建模,规范和验证
Department of Information and Communication Technology, Faculty of Engineering and Science, Agder University College, Grooseveien 36, N-4876 Grimstad, Norway;
Ad-hoc sensor networks; Finite model-checking; Linear temporal logic; Specification; Verification;
机译:用于宽枣棕榈林监视的无线传感器网络:(规格和验证级别)
机译:基于不同无线电模型的AD-HOC传感器网络的反应性和反应性协议的性能评估
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:临时传感器网络:建模,规范和验证
机译:传感器网络工作台:进行功能规范,约束分布式系统的验证和部署。
机译:人体传感器网络和车辆自组织网络的集成以确保交通安全
机译:用于监视宽枣棕榈林的无线传感器网络:(规格和验证级别)