Software Technology, University of Dortmund;
机译:连续随机逻辑表征了连续时间马尔可夫过程的双仿真
机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
机译:关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
机译:通过双仿真等效性对连续时间随机线性控制系统进行模型简化
机译:连续时间随机控制在产品组合优化中的应用
机译:连续时间状态估计的非线性随机滤波器
机译:连续随机逻辑表征了连续时间马尔可夫过程的双仿真
机译:有限状态行为的分支互模拟同余的完全公理化