退出
我的积分:
中文文献批量获取
外文文献批量获取
马燕燕; 杨志斌; 江国华;
南京航空航天大学计算机科学与技术学院 江苏 南京 211106;
高安全系统的软件开发与验证技术工信部重点实验室 江苏 南京 211106;
安全关键系统; 模型驱动开发方法; SysML; AADL; 模型转换;
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:一种自动的模型到模型的映射和转换方法,用于基于模型的系统工程
机译:自动化要素模型重构:一种模型转换方法
机译:朝向核I&C系统的基于模型的规范和安全保障 - SYSML和AADL的适用性
机译:一种用于自动模型演变的模型转换方法。
机译:使用SysML的移动机械手性能测量模型
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
机译:从aaDL架构和错误模型自动生成故障模式和影响分析
机译:数据模型转换方法,用于将实体关系模型转换为面向对象的模型,从而允许将实体关系模型与统一的建模语言模型组合
机译:用于协调扭矩模型以用于具有期望的扭矩变化的IC发动机的自动输出控制的方法和装置,采用单独的电驱动来辅助补偿从一种模型特征到另一种模型特征的改变
机译:用于接收和使用假牙模型的假牙结构和模型支持以及制作该模型的方法,一个模型或一个模型牙齿组包括该模型,一种用于重置模型工具包的模型,方法以及用于制造调整夹板或模型的装置调整夹板套件和调整夹板
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。