Department of Electrical and Computer Engineering University of Waterloo Waterloo ON Canada;
机译:弱不变性仿真及其在参数网络分析中的应用
机译:Weaker仿真在网络不变技术参数化模型检查中的应用
机译:基于不变式的异步参数网络验证方法
机译:参数化网络的不变模拟和分析
机译:流体动力模拟的弱引力透镜剪切和放大分析与弱镜头数据的应用
机译:基于尺度不变参数化的扩散张量成像的扣带不对称性分析
机译:基于不变性的异步参数网络验证方法