...
机译:MAHSN中关键/非关键节点分离的本地化算法的形式规范和验证
机译:移动Ad Hoc和传感器网络中关键/非关键节点隔离的本地化算法
机译:分布式故障定位,隔离和供电恢复算法的正式规范和验证
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证† sup>
机译:用于移动临时和传感器网络中临界/非关键节点的分离的本地化算法
机译:安全关键系统的正式规范方法和符号
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:移动Ad Hoc和传感器网络中关键/非关键节点隔离的本地化算法
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术