帕穆德

此软件的关键字
zbMATH中的参考文献(参考文献 31条 )
艾伯特,艾薇拉; Gómez zamalola,米格尔; 伊莎贝尔,米格尔; 鲁比奥,阿尔伯特; 萨马蒂诺,马特奥; Silva,Alexandra:软件定义网络的基于角色的模型检查(2021) 杜兰,旧金山; 罗查,卡米洛; Salaün,Gwen:BPMN过程的资源供应策略:使用Maude的规范和分析(2021) 杜兰,旧金山; 埃克,史蒂文; 圣地亚哥埃斯科巴; 玛蒂奥利特,纳西索; 梅斯盖尔,何塞; 鲁比奥,鲁宾; Carolyn Talcott:Maude的编程和符号计算(2020) 费尔南德斯,玛丽贝尔; 基什内尔,Hélène; Pinaud,Bruno:战略港口图改写:交互式建模框架(2019) 刘思思; 厄尔维茨基,彼得·克萨巴; 王琪; 古普塔、印地安; Meseguer,José:《读原子交易与防止丢失更新:ROLA及其形式分析》(2019) Lemos,Marcilio O.O。; 丹塔斯,尤里·吉尔; 丰塞卡,伊瓜特米E。; Nigam,Vivek:关于TDoS攻击选择性防御正式验证的准确性(2018) 玛西莫娃,玛丽亚; 吉斯,霍尔格; Krause,Christian:概率时间图转换系统(2018) 刘思思; 厄尔维茨基,彼得·克萨巴; Meseguer,José:实时Maude中移动自组织网络的建模与分析(2016) 埃勒克,玛莎; 哈桑,奥斯曼; 塔哈尔,索菲涅; Abid,Mohamed:无线传感器网络中检测属性的形式概率分析(2015) 刘思思; 厄尔维茨基,彼得·克萨巴; Meseguer,José:使用实时Maude对MANETs中领导人选举的正式分析(2015) 玛蒂奥利特,纳西索; 厄尔维茨基,彼得·克萨巴; Carolyn Talcott:JoséMeseguer:杰出科学家和朋友(2015) 贝尔兹纳,伦茨; 德尼古拉,罗科; 范丁,安德烈; Wirsing,Martin:重写逻辑中的推理(on)服务组件集成(2014) ioport公司 中岛,申:与OBJ语言家族的永恒挑战(2014) ioport公司 本蒂亚,卢西恩; 厄尔维茨基,彼得·卡萨巴:概率重写理论的概率策略语言及其在云计算中的应用(2013) 埃克哈特,乔纳斯; 穆尔鲍尔,托拜厄斯; 梅斯盖尔,何塞; Wirsing,Martin:复合演员系统的统计模型检验(2013) 梅斯盖尔,何塞; Roşu,Grigore:重写逻辑语义项目:进度报告(2013) 布莱切夫,彼得; 大卫,亚历山大; 古德兰·拉森,金; 勒盖,阿克塞尔; 李广元; Bøgsted Poulsen,丹尼; Stainer,Amelie:加权度量时态逻辑的基于监视器的统计模型检查(2012) 卡特尔曼,迈克尔; 凯勒,肖恩; Meseguer,José:重写产生式规则集的语义(2012) 克劳斯,基督徒; Giese,Holger:概率图转换系统(2012) JoséMeseguer:《重写逻辑的二十年》(2012)