Co-simulation; heterogeneous systems; continuous/discrete simulation; formal representation;
机译:施工仿真中离散化连续工厂的形式化方法
机译:离散事件建模和仿真中的活动跟踪范例:空间连续分布式系统的情况
机译:连续与离散组合系统的建模与仿真-以纺丝过程为例。
机译:连续/离散系统的全局仿真模型的形式化
机译:从形式化到实现的连续/离散协同仿真接口。
机译:用于模拟蛋白质折叠复制交换模拟的简单连续和离散模型
机译:在施工模拟中离散化连续工厂的形式化方法
机译:离散事件仿真工具,用于分析连续处理系统的定性模型