ALGORITHMS; CLOCKS; FAULT TOLERANCE; PROVING; SYNCHRONISM; CONVERGENCE; PROTOCOL (COMPUTERS);
机译:验证时钟同步算法:结合演绎工具进行的实验
机译:使用整数时钟来验证时钟同步协议
机译:使用整数时钟来验证时钟同步协议
机译:时钟同步算法的机械验证
机译:具有时钟事件和非时钟事件的混合系统的建模和验证。
机译:基于高精度时钟同步和数据采集与实验验证的高采样率传感器网络系统的开发
机译:时钟同步算法的机械验证
机译:拜占庭时钟同步算法的机械验证