退出
我的积分:
中文文献批量获取
外文文献批量获取
孙宏旭; 邢薇; 陶林;
中国计算机学会;
电子产品世界杂志社;
模型转换方法; 有限状态机; 状态生成算法;
机译:基于自定义模型的PSASP到PSCAD模型快速转换方法研究
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:一种自动的模型到模型的映射和转换方法,用于基于模型的系统工程
机译:带定时器的时间自动机到有限状态机的转换方法及其评价
机译:基于内存的有限状态机(数字系统,自动,分解,体系结构)的通用模型。
机译:基于生物物理的有限状态机模型用于分析胃实验夹带和起搏记录
机译:基于搜索的软件工程:基于搜索的扩展有限状态机(EFsm)模型测试方法
机译:易于测试的基于pLa的有限状态机
机译:控制模型的研究方法,控制模型的研究装置,计算机程序以及基于该模型的操作
机译:用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据转换方法和用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据传输系统
机译:用于基于有限状态机模型开发策略管理系统的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。