机译:纪律遵守标准和细致的验证 - 过程安全的支票和平衡
Chevron Oronite Company LLC 6001 Bollinger Canyon Rd San Ramon CA 94583;
verification; audit; assessment; standards;
机译:纪律遵守标准和细致的验证 - 过程安全的支票和平衡
机译:关于耐火设计目标安全标准的分析及其表达模式的研究-以耐火性能验证方法为目标的安全标准的估计-第三章验证方法中参数的提取与分类。
机译:基于模型检验的铁路信号安全协议-I安全验证
机译:启用针对SPEM 2.0过程模型中安全标准的合规性检查
机译:通过对应检查进行流水线微处理器的正式验证
机译:基于UMLS的拼写检查器用于疫苗安全中的自然语言处理
机译:使用无BDD的符号模型检查验证powerpC微处理器的安全属性
机译:使用无BDD的符号模型检查验证powerpC(商标)微处理器的安全属性