退出
我的积分:
中文文献批量获取
外文文献批量获取
王聪; 王智学;
解放军理工大学通信工程学院;
解放军理工大学指挥自动化学院;
UML活动图; 形式语义; 模型检验; Büchi自动机;
机译:基于制度理论的UML活动图语义转换为事件B模型
机译:基于制度理论的UML 2.0活动图形式化语义
机译:基于重写的基于逻辑的语义和UML活动图分析:图形转换方法
机译:UML活动图到事件B:一种基于制度理论的模型转换方法
机译:对心理学中的统计意义检验方法学的批评,并提出了对部分基于知识心理学理论的科学方法论合理性理论的替代方法的建议。
机译:美国黑人农村男性青年的青春期时机和性风险行为:基于生活史理论的模型检验
机译:UmL活动图的符号模型检验
机译:时间自动机无界完全符号模型检验的布尔方法
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:基于模型预测控制理论和系统理论的井筒压力控制方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。