退出
我的积分:
中文文献批量获取
外文文献批量获取
颜玉兰; 何克清; 刘进;
武汉大学软件工程国家重点实验室,武汉,430072;
模型驱动开发; 模型转换规则; 有限状态机;
机译:一种自动的模型到模型的映射和转换方法,用于基于模型的系统工程
机译:一种基于搜索的集成方法,可从扩展有限状态机(EFSM)模型进行自动测试
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:带定时器的时间自动机到有限状态机的转换方法及其评价
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:基于生物物理的有限状态机模型用于分析胃实验夹带和起搏记录
机译:论纹理基础:一种转换方法。
机译:用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据转换方法和用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据传输系统
机译:用于基于有限状态机模型开发策略管理系统的系统和方法
机译:基于GUI的应用程序确定性有限状态机模型的提取方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。