Physical Animation; Topologically-based Simulation; Rule-based Language; Prototyping;
机译:基于规则的动态服务组合的语言和验证框架
机译:一个简单而精确的基于规则的建模框架,用于通过二维培养中的L1CAM模拟自分泌/旁分泌刺激胶质母细胞瘤细胞运动和增殖
机译:灵活的基于规则的空战模拟系统飞行员性能分析框架
机译:一种使用基于规则的语言进行物理仿真的一般物理拓扑框架
机译:网络物理系统建模语言中自动动态约束验证的框架
机译:一个简单而精确的基于规则的建模框架用于在二维培养中模拟自分泌/旁分泌刺激L1CAM对胶质母细胞瘤细胞运动和增殖的刺激
机译:使用基于规则的语言进行物理模拟的一般物理拓扑框架