...
机译:概率合同:一种用于设计具有随机和/或非确定性方面的系统的组成推理方法
University de Rennes 1/IRISA, Rennes, France;
University de Rennes 1/IRISA, Rennes, France;
assume/guarantee reasoning; contracts; probabilistic reasoning; reliability analysis; availability;
机译:并发概率系统在组合推理中利用加权自动机
机译:设计决策支持框架,用于基于近似推理方法和证据推理方法的使用复合结构方法的设计方案/建议评估
机译:基于平台的具有合同和相关工具的网络物理系统设计方法
机译:概率合同:用于阶级系统设计的组成推理方法
机译:使用合同的网络物理系统的组成设计
机译:医学计算方法。日期基础和管理数据库管理:智能文件:一种用于管理多任务和分布式系统的不确定数据的方法
机译:通过假设验证推理检查概率自动机的组成随机模型
机译:复杂系统系统(sos)的基于模型的组合推理。