Computer Science Department Sapienza University of Rome Italy;
Instituto IMDEA Energía Spain;
SEAS-NVE Denmark;
Substations; Avalanche photodiodes; Safety; Power demand; Smart grids; Probability distribution; Random variables;
机译:有限套装模型预测控制转换器的统计模型检查:建模和性能验证教程
机译:中国智能电网的量化建模与分析:随机模型检验案例研究
机译:基于模型检验的铁路信号安全协议-I安全验证
机译:智能电网安全验证的并行统计模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:智能电网安全验证的并行统计模型检查
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证