Hanford Reservation ; Storage Facilities ; Data Base Management ; Remedial Action ; Program Management ; Validation ; Computer Codes;
机译:验证者的角色:在“总量控制与交易”和“基准与信用”系统中进行验证和验证
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:专家和数据库系统中的验证,确认和完整性问题:数据库角度
机译:分布式数据库系统的保密控制算法的验证。
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:TWRs控制的基线数据库系统的系统维护验证和验证计划
机译:TWRs控制的基线数据库系统的系统维护验证和验证计划