退出
我的积分:
中文文献批量获取
外文文献批量获取
张福高;
南京航空航天大学;
信息; 物理系统; 形式化建模;
机译:基于矩阵形式化计算散热装置的矩阵形式化建模
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:基于形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:基于电力信息物理系统的网络攻击图的关键节点方法研究
机译:形式化建模可以改善智能交通算法的开发。
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:基于并发理论的连接主义形式化建模,一种基于自动机和模型检查的方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:混合系统建模和分析的形式化方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。