机译:不断检查确保系统安全
机译:不断检查确保系统安全
机译:集成自动化安全规则检查(ASRC)系统,用于马来西亚基于BIM的项目的安全计划
机译:监管机构试行更安全的检查护士资格证书的系统。
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:结合世界卫生组织的手术安全检查表(WHO SSC)验证挪威版本的患者手术安全系统(SURPASS)
机译:使用Safecharts对安全关键系统进行模型检查
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范