退出
我的积分:
中文文献批量获取
外文文献批量获取
王烨凯; 苏雯;
上海大学 计算机工程与科学学院 上海 200444;
形式化方法; 混合系统; 时序约束建模; 自动精化和组合方法; 自动精化和组合工具;
机译:使用简化的精化工具变量(SRIV)算法对液压挖掘机进行建模
机译:液压挖掘机的简化精化工具变量(SRIV)算法建模
机译:用于组合下水道系统的数据驱动和动态建模的自动化工具链
机译:LBS动态服务组合的概率时序约束建模和功能验证方法
机译:控制结构图:带有控制结构的自动图形逐步精化工具(软件)。
机译:开发基于网络的工具以自动处理和分类独特的组合药物筛选
机译:用于SAP R / 3中自动构建模块组合的基于语义的工具包
机译:基于组合几何的三维自动机器人导航世界建模
机译:自动数字电路设计工具,该工具可减少或消除由于固有时钟信号偏斜而引起的不利时序约束及其应用
机译:用于立体照相术机器的建模板,使用自动建模板的立体照相术和用于清洁自动建模板的工具
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。