位置：成果数据库 > 会议 > 会议详情页
Hierarchical timed automata based verification of dynamic evolution process in open environments
  • 所属机构名称：河海大学
  • 会议名称：ICSSP 2014
  • 时间：2014.5.30
  • 成果类型：会议
  • 相关项目：动态演化环境下软件失效的在线预测关键技术研究
同会议论文项目
动态演化环境下软件失效的在线预测关键技术研究
期刊论文 15 会议论文 7
同项目会议论文
Predicting failures in dynamic composite services with proactive monitoring technique
A Novel QoS Monitoring Approach Sensitive to Environmental Factors
Hydrological Time Series Anomaly Mining based on Symbolization and Distance Measure
Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayes
Sky-MCSP-R: an efficient graph-based Web service composition approach
Game-Based Monitors for Scenario-Based Specification