机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
The authors are with the Graduate School of Information Science and Technology, Osaka University, Suita-shi, 565-0871Japan;
The authors are with the Graduate School of Information Science and Technology, Osaka University, Suita-shi, 565-0871Japan;
The authors are with the Graduate School of Information Science and Technology, Osaka University, Suita-shi, 565-0871Japan;
The authors are with the Graduate School of Information Science and Technology, Osaka University, Suita-shi, 565-0871Japan;
QoS; probabilistic automaton; simulation; model checking;
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:基于概率模型检查多状态系统故障相关性的可靠性分析
机译:分布式实时嵌入式系统的混合性能分析技术
机译:基于概率模型检查的DAL分析可为基于FPGA的航空航天应用优化组合的TMR盲擦缓解技术
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析