退出
我的积分:
中文文献批量获取
外文文献批量获取
房丙午; 黄志球; 王勇; 李勇;
南京航空航天大学计算机科学与技术学院;
江苏南京210016;
安徽财贸职业学院云桂信息学院;
安徽合肥230061;
信息物理融合系统; 运行时验证; 隐马尔科夫模型; 确定性有限自动机; 安全性; 反例;
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:RINGA:在运行时为自适应软件设计和验证有限状态机
机译:具有非线性或不可微观测的连续离散随机状态空间系统中的精确状态估计
机译:可观测和不可观测电力系统的状态估计
机译:在CERN大型强子对撞机首次运行时,用CMS检测器观测到的质子-质子碰撞数据在7和8 TeV处进行的强子超对称搜索的不可见Z背景的估计。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:可扩展技术不可知运行时验证
机译:modelplex:已验证的网络物理系统模型的运行时验证。
机译:不可观测的因子估计支持设备,不可观测的因子估计支持方法和不可观测的因子估计支持程序
机译:多个系统运行时的相对系统不可接收状态监视电路
机译:多媒体流扩散方法,例如电话,涉及通过通讯传输数据流,并在资格验证后座席不可用的情况下,通过将资格状态替换为等待状态来修改表中的输入
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。