机译:分布式系统的规范,标准和信息管理
Department of Computing, University of Bradford, Bradford, UK;
Department of Human Informatics and Cognitive Sciences, Faculty of Human Sciences, Waseda University, Japan;
Department of Computer Science Coventry University, UK;
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:能源行业管理系统认证中心:原则,规范,DAkkS规范,使用ISO 27001示例的形式
机译:使用事件 - B分布式系统检查点算法的正式规范和验证
机译:舰船作战管理系统中基于异构分布式系统的基于标准的集成管理系统
机译:分布式系统的运行时配置管理规范。
机译:系统与合成生物学标准规范:2020年的地位和发展
机译:根据1993年6月29日理事会条例(EEC)N. 1836/93第12条,允许公司自愿参与的理事会关于承认英国标准Bs7750:1994,建立环境管理体系规范的决定的提案在工业部门的社区生态管理和审计计划;根据1993年6月29日理事会条例(EEC)N. 1836/93第12条,允许公司自愿参与的理事会关于承认爱尔兰标准Is310:第一版,建立环境管理体系规范的决定的提案在工业部门的社区生态管理和审计计划;关于承认西班牙标准的决定的提案UNE77-801(2)-94:根据1993年6月29日理事会条例(EEC)N. 1836/93第12条,制定环境管理体系规范,允许工业部门的公司自愿参与社区生态管理和审计计划(由委员会提出)。 COm(95)422决赛,1995年9月27日
机译:功能分布式计算机系统开发研究。第十八卷。分布式数据库管理系统的语言规范