退出
我的积分:
中文文献批量获取
外文文献批量获取
刘玮;
重庆师范大学涉外商贸学院,重庆市401520;
模型驱动 AADL FIACRE ATL 模型转换;
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换
机译:使用HiP-HOPS进行AADL模型可靠性分析的模型转换
机译:异构模型转化研究:从AADL模型到FIACRE模型
机译:基于模型的控制设计中神经网络模型到状态空间模型的转换
机译:从基于Dreyfus的评估模型转换为基于Milestone的评估模型时对房屋工作人员评估分数的影响:一种内科住院医师计划的发现
机译:aaDL和基于模型的工程。
机译:控制模型的研究方法,控制模型的研究装置,计算机程序以及基于该模型的操作
机译:数据模型转换方法,用于将实体关系模型转换为面向对象的模型,从而允许将实体关系模型与统一的建模语言模型组合
机译:用于模型检查的脚本转换程序,模型检查程序,用于模型检查的脚本转换装置和模型检查装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。