机译:正式方法支持无线协议测试和验证。动手报告
Grupo de Ingenieria de Sistemas Telematicos, Departamento de Ingenieria Telematica, Universidade de Vigo, ETSI de Telecomunicacion, Campus Universitario S/N, E-36200 Vigo, Spain;
software design; formal testing and validation; model checking; wireless protocols; bluetooth; spin; promela;
机译:迈出的一步:将无线自组织网络验证技术与正式测试方法联系起来
机译:支持先进测试反应堆的中子学建模,仿真和V&V升级的验证协议
机译:用于IOT的集群无线传感器网络的测试用验证了简单的时间同步协议
机译:使用时间Petri网在无线多跳传感器网络中新型节能跨层MAC协议的正式建模与验证
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:患有脆弱和急性护理需求的老年人报告的患者报告结果的测试和验证(PROM-OPAC)。 V1(Protocols.io.btmqnk5w)
机译:建议的sTEp应用协议验证测试方法。 NationalpDEs试验台报告系列