退出
我的积分:
中文文献批量获取
外文文献批量获取
陈静杰; 李会茹; 曾学锋;
维修培训; 层次化分析; 状态机; 拆装模型;
机译:从UML状态机图推导系统行为:应用于导弹项目
机译:使用彩色Petri网形式化并发UML状态机
机译:使用Z表示法形式化UML状态机图的多视图方法
机译:基于层次分析和UML状态机的拆卸与装配过程仿真方法
机译:开发面向对象的框架,用于半导体制造应用中的模块化化学过程仿真。
机译:审核层次结构周期以查找UMLS中的其他不一致之处
机译:使用有色petri网正规化并发UmL状态机
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:制备层次结构化数据集的方法,涉及在数据集的管理数据段中再现部分数据集的数量的层次结构,以供应用程序访问
机译:使用UML状态机为门户应用程序建模
机译:维护实例化应用程序对象的层次结构并允许从应用程序故障中恢复的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。