退出
我的积分:
中文文献批量获取
外文文献批量获取
高建平; 徐启文; 陈宗基;
北京航空航天大学自动控制系;
北京;
100083;
联合国大学软件技术研究所;
澳门;
混合系统; 形式化方法; 时段演算; 飞行余度管理系统;
机译:基于形式化设计模式的洗衣机控制器模型的形式化开发
机译:多重关系评估设计:形式化评估设计输入和输出蓝图元素,用于测试开发中的智能系统
机译:混合系统的形式化开发方法
机译:用户约束的可视化和形式化,以便对最坏情况执行时间的严格估计
机译:动态规划和贪婪算法的形式化算法设计方法。
机译:重症监护医学决策支持算法的开发:时间序列分析和知识库系统的混合系统
机译:算法和数学证明的形式化使用ssReflect进行Coq中Toom-Cook算法的形式化
机译:面向自稳定分布式算法的形式化设计
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:逻辑网络的半自动设计程序-使用计算机化的最终设计阶段,在此阶段中采用形式化代码来生成最终逻辑图
机译:形式化限制算法,以使分散介质图像转换中的参数之间的串扰最小
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。