...
机译:高保证和关键计算系统中的隐藏实现依赖项
formal specification; program diagnostics; safety-critical software; software maintenance; system recovery; catastrophic failure; critical computing system; data dependency; formal traceability; high assurance system; meta-work product; safety-related error; system;
机译:高保证和关键计算系统中的隐藏实现依赖项
机译:数字成像显示系统的对比度灵敏度:对比度阈值对对象类型的依赖性以及对PACS中监视器质量保证和质量控制的影响。
机译:在西班牙执行《抚养法》。以活动为基础的成本系统是可以促进执行法律的决策的工具
机译:核设施的高保证网络安全计划模板:相互正交的安全控制的二维分层,为后Stuxnet时代的关键计算机系统提供高保证的网络安全保护
机译:集中式计算服务环境中的电子病历系统:实施的关键成功因素。
机译:数字成像显示系统的对比度灵敏度:阈值对对象类型的依赖性以及对PACS中监视器质量保证和质量控制的影响
机译:关键系统云计算中的弹性。在公共组织的关键系统中使用云计算的弹性,可靠性和可靠性。