...software monitoring; anticipatory monitor; parameterized LTL (linear temporal logic); parameterized[gap=384]关键词: 运行时验证;软件监控;预测监控器;参数化 LTL(linear temporal logic);参数化 Büchi 自动机 文献标识码: A 中图法分类号: TP311 ..
基于14个网页-相关网页
runtime software monitoring 运行时刻软件监测
software monitoring function 软件监视功能
Monitoring Software 监控软件
Employee Monitoring Software 员工监控软件
Network Monitoring Software 网络监测软件
WinCC monitoring software WinCC监控软件
Performance Monitoring Software 监察表现软件
file server monitoring software 档案伺服器监察软件
Application Software Net Monitoring System 应用软件监控系统 ; 网络应用软件监控系统
High-availability systems (high availability system) by clustering software monitoring are the systems which has multiple redundant servers with each other.
高可用性集群系统(high availability system)是由集群软件监控,具有多台服务器互相冗余的系统。
参考来源 - 基于虚拟机动态迁移技术的分析和研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐