机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:蒙特卡罗建模技术在分布式参数系统中的可行性研究。第2部分:涉及通过蒙特卡洛方法解决的分布式参数系统的搜索问题
机译:随机分布式系统模型检查技术研究
机译:用于分布式环境中基于BDD的计划的符号模型检查技术。
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:随机分布式系统模型检查技术研究
机译:利用模型检测技术进行分布式程序的符号综合;技术部门