故障树分析技术相关论文
随着计算机系统和计算机软件发展的日新月异,计算机软件已经应用到很多安全关键系统中。一旦这些系统失效将会导致生命财产的重大损......
民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件,因此民航业务系统的安全性十分重要,形式化验证方法是保障系统安全性的......
纵观当前国内智能管理系统的研发和建设,其已经取得十分突出的成果,尤其在控制方面,成功利用道闸系统软件来进行升降管理、计时收......