退出
我的积分:
中文文献批量获取
外文文献批量获取
楚敏; 邵振洲; 王瑞; 李晓娟; 张芮;
首都师范大学信息工程学院;
轻型工业机器人与安全验证北京市重点实验室(首都师范大学);
运行时验证; 机器人操作系统; 安全属性监控器; 面向监控编程;
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:基于ROS的机器人群的分层属性的运行时验证
机译:使用ISO 26262功能安全标准作为汽车嵌入式系统的运行时验证监视,以定义受监视属性
机译:自治机器人中定时属性的运行时验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:面向巩膜力的机器人辅助在玻璃体视网膜手术中进行安全的显微操作
机译:基于分析的验证:面向程序员的机械程序属性保证方法
机译:通过安全存储的完整性信息在基于处理器的系统的运行时验证代码块的完整性的运行时完整性验证的设备和方法
机译:在面向对象的计算机环境中,用于在运行时向对象添加属性的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。