机译:正式化和集成动态模型以进行面向对象的建模
algebraic specification; formal specification; object-oriented programming; specification languages; LOTOS; algebraic specifications; behavior simulation; consistency checks; dynamic model; functional models; graphical notation; object model; object modeling techniq;
机译:正式化和集成动态模型以进行面向对象的建模
机译:使用模糊本体形式化模糊的面向对象的数据库模型
机译:一个框架,将面向对象的物理建模与建筑信息模型集成在一起,以进行建筑热模拟
机译:结构动力学将结构动力学的正式集成为面向对象的混合系统建模
机译:用于形式化嵌入式系统开发的面向对象的建模符号的通用框架。
机译:有限混合物建模和动态治疗方案正式化的个性化复苏策略
机译:OSM-Logic:面向对象的事实建模,时间相关的形式化
机译:Object-GaWsER面向对象的圭尔夫全天气暴雨事件径流模型阶段1:面向对象仿真的水文建模培训手册应用