Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform

机译：一种提高复杂系统可靠性的方法：体系结构设计方法和模型检查的综合

机译：基于概率模型检查多状态系统故障相关性的可靠性分析

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范

机译：通过模型检查提高系统可靠性：FSAP / NuSMV-SA安全分析平台

机译：基于状态建模和成分模型检查的软件产品线安全性分析

机译：利用概率模型检查对细胞膜系统进行建模和分析

机译：FSAP / NuSMV-SA安全分析平台

机译：通过正式分析和使用软件检查提高系统可靠性

机译：在多服务器上使用AI软件和算法对远程服务器进行在线交叉检测数据分析的多传感器单元，用于对整个流体系统进行恒定在线水质和安全性监控的系统，平台和方法

机译：用于永久在线监测的系统平台和方法使用块的整体系统流体的水质和安全性带有多个传感器的在线分析远程服务器上数据的交叉检查5使用软件和人工智能算法

机译：在带有AI软件和算法的远程服务器上使用多传感器单元和在线交叉检查数据分析来对整个流体系统进行恒定在线水质和安全性监控的系统，平台和方法。