退出
我的积分:
中文文献批量获取
外文文献批量获取
房丙午; 黄志球; 李勇; 王勇;
南京航空航天大学计算机科学与技术学院,江苏南京211106;
安徽财贸职业学院云桂信息学院,安徽合肥230601;
随机系统; 安全性; 运行时验证; 隐马尔科夫模型;
机译:MegaM @ Rt2 ECSEL项目:运行时的MegaModelling-可扩展的基于模型的框架,用于复杂系统的连续开发和运行时验证
机译:基于隐马尔科夫模型和卷积神经网络的图像标注方法
机译:利用隐马尔科夫随机田的分子神经因子的分割,以改善神经变性疾病的辅助诊断
机译:基于模型的网络物理系统安全性分析和验证。
机译:降低基于代理的反应模型中的复杂性-与运行时间和系统级输出有关的简化的优点和局限性
机译:MegaM @ Rt2 ECSEL项目–运行时的MegaModelling –用于复杂系统的连续开发和运行时验证的可扩展基于模型的框架
机译:modelplex:已验证的网络物理系统模型的运行时验证。
机译:基于安全性管理模型的工业环境中基于认证的安全性政策检查与验证系统
机译:通过安全存储的完整性信息在基于处理器的系统的运行时验证代码块的完整性的运行时完整性验证的设备和方法
机译:经验证的网络物理系统模型的经验证的运行时验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。