位置：成果数据库 > 期刊 > 期刊详情页
A Polynomial Algorithm to Performance Analysis of Concurrent Systems via Petri Nets and Ordinary Di
  • ISSN号：1545-5955
  • 期刊名称：IEEE Transactions on Automation Science and Engine
  • 时间：2015
  • 页码：295-308
  • 相关项目：基于微分方程的软件自适应控制模型研究
作者： 丁佐华|Yuan Zhou|Mengchu Zhou|
同期刊论文项目
基于微分方程的软件自适应控制模型研究
期刊论文 23 会议论文 20
同项目期刊论文
Hypergraph partitioning for the parallel computing of fuzzy differential equations
Online reliability computing of composite services based on program invariants
基于在线故障定位及自主适应提高软件可靠性
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems
Stability Analysis of Switched Fuzzy Systems via Model Checking
Modeling Self-Adaptive Software Systems with Learning Petri Nets
Servcie Slection Based On Behavior Matching
Petri Net Representation of Switched Fuzzy Systems
基于GCL语言的测试用例生成方法
基于二次定位策略的软件故障定位
基于程序不变量计算软件可靠性
基于架构的服务组合可靠性预测
基于神经网络集成的软件故障预测及实验分析