海伦娜

此软件的关键字
zbMATH中的参考文献(参考文献 11条 , 1标准件 )
Pommereau,Franck:SNAKES:一个灵活的高级Petri网库(工具书)(2015) 波涛汹涌,克莉丝汀; 黛多娃,安娜; 福音派,萨米人; 克莱,凯斯; 佩特鲁奇,劳尔; Youcef,Samir:《近地天体议定书的建模和正式验证》(2012年) ioport公司 科顿,法布里斯; 利纳德,阿尔班; 布克斯,迪迪埃; 科朗格,马克西米利恩; 福音派,萨米人; 兰普卡,凯; 罗曼,尼尔斯; 艾曼纽艾德帕维奥阿德特; 蒂埃里·米格,扬; Wimmel,Harro:2011年(2012年)Petri网模型检查竞赛报告 ioport公司 波涛汹涌,克莉丝汀; 黛多娃,安娜; 福音派,萨米人; 洪、思连; 克莱,凯斯; Petrucci,Laure:大型分布式数据库系统的NEO协议:建模和初始验证(2010) ioport公司 福音派,萨米人; 帕乔尔特,克里斯托夫:解决偏序降阶的忽略问题(2010) ioport公司 巴什罗夫,Rza; 科顿,法布里斯; Lort,Hüseyin:利用有色Petri网来决定置换可容许性(2009) 布劳莱,罗兰; 德维勒,雷蒙德; 克劳代尔,汉娜; 佩尔兹,伊丽莎白; Pommereau,Franck:使用基于角色的规范和Petri网对安全协议进行建模和分析(2008) 克劳代尔,汉娜; 库特尼,麦基; 佩尔兹,伊丽莎白; Pommereau,Franck:通过动态过程创建实现系统的有效验证(2008) 福音派,萨米人; Pradat Peyre,Jean François:关于有色Petri网顽固集的计算(2006) Evangelista,Sami:Helena的高级Petri网分析(2005) 福音派,萨米人; Pradat Peyre,Jean François:显式软件模型检查中的内存有效状态空间存储(2005)