退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:并发嵌入式软件的形式验证
Traub Johannes;
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:正式建模和验证分布式实时嵌入式软件的方法
机译:并发FSMS的正式建模与验证:基于事件的合作机器人案例研究
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:网络物理系统中控制模块的正式验证
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:在软件定义的网络中支持网络服务链验证的设备和方法,以及具有该设备的正式验证设备
机译:逻辑综合的并行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。