退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:安全保障模型aperfeicoado
公开/公告号BR6915297D0
专利类型
公开/公告日1973-02-08
原文格式PDF
申请/专利权人 ALAMIRO V;
申请/专利号BR19690215297
发明设计人 ALAMIRO V;
申请日1969-12-17
分类号
国家 BR
入库时间 2022-08-23 07:44:11
机译: 安全关键分布式存储系统安全检查软件设计的模型检查方法
机译: 安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译: 安全关键型分布式存储系统安全检查软件设计中的模型检查方法