退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于CFsm网络的嵌入式系统的形式化验证
Felice Balarin; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Attila Jurecska Magneti Marelli;
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:基于组件的嵌入式操作系统的形式验证
机译:基于抽象方法的分布式嵌入式系统验证的正式框架
机译:基于CFSM网络的嵌入式系统的形式验证
机译:嵌入式系统中设备驱动程序的形式验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:基于Transactor的实时嵌入式系统形式验证
机译:可靠嵌入式系统的形式化系统验证
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:在软件定义的网络中支持网络服务链验证的设备和方法,以及具有该设备的正式验证设备
机译:方法,计算机程序产品和控制单元,用于控制基于系统的网络,特别是自动化网络,管理网络或控制网络,包括嵌入式系统或分布式系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。