机译:基于统计模型检验的RT-DVS算法评估的一种形式化方法
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
Sichuan Univ, Coll Comp Sci, Chengdu 610065, Peoples R China;
机译:如何正式指定和模型检查路径查找算法的通用方法:dijkstra,a *和lpa *
机译:实时Maude中无线传感器网络算法的形式化建模,性能评估和模型检查
机译:一种表示残余径流模型不确定性的正式统计方法,重点是残差分析和概率输出评估-区分模拟和预测
机译:基于Petri网和模型检验的客车桥梁建模与验证形式化方法。
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:基于并发理论的连接主义形式化建模,一种基于自动机和模型检查的方法