机译:离散模型的细化,分解和实例化:在事件B中的应用
ETH Zurich, Switzerland;
refinement; decomposition; generic instantiation; event-B;
机译:通过接口实例化细化分解模型
机译:Event-B中离散时序属性的规范和完善
机译:在Event-B模型中进行实时属性的跟踪语义和改进模式
机译:寻求事件B中的细化分解方法
机译:经济均衡模型的新分解方法及其在区域分解中的应用。
机译:新的离散小波分解与自回归综合移动平均(ARIMA)混合模型的开发在一个月预测COVID-19伤亡人数中的应用
机译:事件B中离散时序属性的规范和细化
机译:利用离散时间数据拟合连续时间和离散时间模型及其应用