艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 软件定义网络的基于角色的模型检查。 （英语） Zbl 1455.68101号 J.日志。阿尔盖布。方法计划。 118，文章ID 100617，26 p.（2021）.MSC公司：60年第68季度 68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛E.Albert｝等人，J.Log。阿尔盖布。方法计划。118，文章ID 100617，26 p.（2021；Zbl 1455.68101） 全文： 内政部 arXiv公司 链接
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 SDN参与者：SDN程序的建模和验证。 （英语） Zbl 1460.68052号 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 550-567 (2018).MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛E.Albert｝等人，Lect。注释计算。科学。10951，550-567（2018；Zbl 1460.68052） 全文： 内政部 链接