退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用模型转换生成xUmL模型形式化分析的图形反例
Santos Osmar Marchi dos; Woodcock Jim; Paige Richard F.;
机译:图形动态线性模型:规格,用途和图形转换
机译:图形用户界面的控件和动作之间的数据依赖关系分析的形式模型
机译:基于形式化方法和模型转换的模型驱动的水资源分析方法
机译:使用模型转换生成图形反例以进行xUML模型的形式分析
机译:基于图的模型转换的形式验证
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:使用模型转换来生成图形反击的正式分析XUML模型
机译:自动代理系统综合的形式对象状态模型转换
机译:分析模型生成程序,分析模型生成装置,分析模型生成方法以及具有分析模型生成方法的制造装置的方法
机译:记录具有记录介质的分析模型生成程序,分析模型生成装置,分析模型生成方法以及使用分析模型生成方法制造装置的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。