退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种规范,验证和综合安全系统的方法
Martinelli Fabio; Matteucci Ilaria;
机译:规范多主体系统的非功能规范规范和验证方法
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:规范和验证可信赖的基于组件的系统的正式方法
机译:安全业务交易系统的规范和验证
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:以患者为中心的在线安全系统访问(PCASSO):一种通过互联网访问临床数据的安全方法。
机译:安全并发和分布式软件系统的规范和验证
机译:系统规格验证支持装置和系统规格验证支持方法
机译:系统规格验证辅助装置及系统规格验证辅助方法
机译:验证复杂系统规格完整性的计算机实现方法及相关验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。