退出
我的积分:
中文文献批量获取
外文文献批量获取
董昱; 高雪娟;
兰州交通大学自动化与电气工程学院 兰州730070;
计算机联锁软件; 事件确定有限自动机; 顺序图; 场景分析;
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:基于模型的控制开发方法:基于模型的控制和自动生成的代码在批量生产软件中的应用
机译:动态速率编码神经元模型中的Hebbian学习:从自然场景中学习感受野的生成模型方法的替代方法
机译:一种形式化的架构驱动方法,用于设计和生成基于组件的软件过程模型
机译:基于场景的工程过程:将形式主义,方法论和工具整合到特定于域的软件体系结构中的生命周期
机译:自主车辆智能传感器和设备的基于多事件的仿真场景生成方法
机译:基于场景的软件工程的轻量级形式化方法
机译:基于本体的软件,用于生成表征核材料搜索的场景。
机译:基于具有多个阶段的计算机生成代表业务流程的至少一部分的模型的方法,机器读取的介质中的功能软件以及用于基于您的计算机生成代表业务流程的至少一部分的模型的系统世界上许多功能阶段
机译:基于组件模型的虚拟软件平台的生成方法,使用该模型的软件平台体系结构的验证方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。