Model based Frameworks; Event-B; Stochastic Extensions; Invariants; Martingales;
机译:Banach空间中随机演化方程的解和不变测度
机译:BMO Martingale Weneral Cadlag Local Martingals驱动的向后随机微分方程
机译:将随机推理整合到Event-B开发中
机译:随机事件-B中不变的随机类似物
机译:随机微分方程和严格的局部Martin
机译:随机动力系统中基于集合的畜栏控制:几乎不变集更不变
机译:Banach空间中随机演化方程的解和不变测度
机译:现代鞅理论的调查与介绍(停止时间,半鞅和随机整合)