Universita Politecnica delle Marche, Dipartimento di Ingegneria dell'Informazione - Via Brecce Bianche 60131 Ancona, Italy;
Universita Politecnica delle Marche - Ancona, Italy;
Universita Politecnica delle Marche - Ancona, Italy;
grid computing; grid security; parameterized model checking; hyperproperties;
机译:中国智能电网的量化建模与分析:随机模型检验案例研究
机译:通过模型检查来检查安全属性
机译:模型检查依赖于推测的安全属性:为声音和完整验证抽象和减少处理器模型?
机译:使用安全工程系统模型核心检查和验证安全要求
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:在非洲的粮食安全可视化趋势2009 - 2020年:网格单元水平的数据和动画
机译:电网大型消费者直接电量采购月度安全检查方法研究
机译:通过灵活的建模框架模型检查网络安全要求