退出
我的积分:
中文文献批量获取
外文文献批量获取
郭峰; 张萌;
北方工业大学;
信息工程学院;
北京;
100041;
中国科学院;
研究生院;
100049;
统一建模语言; 顺序图; Petri网; 语义模型; 转换规则;
机译:关于使用顺序图作为查询的顺序图的行为搜索的提案
机译:数字工程在产品设计工作中的应用研究:用于装配顺序图工作
机译:UML2.0形式化和软件架构质量特性的Acme验证
机译:平衡“漫画”中的语法和语义:顺序图像处理中的全局结构
机译:补充1:顺序图像的研究:方向线上的灰度(位置)〜时间函数的重建及其应用
机译:顺序图像动态背景生成研究及小型移动物体检测
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:自动化系统形式化语义关系研究
机译:多维特征空间中基于矩阵形式化接近度的自动化系统识别信息图像相似度研究
机译:顺序图制作装置,顺序图制作方法以及顺序图制作程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。