科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
苏琪;
浙江工业大学;
信息; 物理; 融合系统; 形式化建模; 安全验证;
机译:列车间通信的形式化建模与安全验证研究
机译:用形式化方法工具进行软件安全验证的设计
机译:校正:选择pH截止值以安全验证鼻饲管的位置:决策分析建模方法;选择pH截止值以安全验证鼻饲管的位置:决策分析模型
机译:UML形式化分析与有色Petri网相结合的系统建模与验证方法研究
机译:形式化建模可以改善智能交通算法的开发。
机译:校正:选择pH截止值以安全验证鼻胃饲管的放置:决策分析建模方法
机译:校正:选择PH截止的鼻子喂养管放置的安全验证:决策分析建模方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:混合系统建模和分析的形式化方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。