机译:通用访问网络方案中安全连接建立的建模和验证
机译:轻松的规范规范和无边界网络架构的验证
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证† sup>
机译:通用访问网络场景中安全连接建立的正式规范和验证
机译:使用特定于领域的软件体系结构(ASSA)原理的基于场景的工程过程(SEP)的图形化事件导向场景行为规范
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:无线传感器和actor网络混合连接恢复算法的形式化规范与验证
机译:通用网关的功能描述和形式规范