找不同 swMATH ID: 200 软件作者: 萨德克·本萨勒姆;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯 描述: D-Finder工具实现了一种组合方法,用于验证BIP语言中描述的、包含多方交互的基于组件的系统。对于死锁检测,D-Finder应用证明策略,通过计算越来越强的不变量来消除潜在的死锁。 主页: http://www-verimag.imag.fr/dfinder 相关软件: 莫纳;Reo公司;小卧室;CVC4型;FDR3公司;沙发2.0;托勒密;联合;自旋;VAMPIRE公司;Potassco公司;魔法;AspectJ公司;Java操作系统;自动变速器;AmbientTalk公司;J盒;防抱死制动系统;中美合作所;甲酚 引用于: 17文件 更多出版物: http://www-verimag.imag.fr/dfinder 全部的 前5名45位作者引用 4 萨德克·本萨勒姆 4 马吕斯·博兹加 4 约瑟夫·西法基斯 三 哈维尔·埃斯帕尔扎 三 克里斯托夫·韦尔泽尔 2 佩德罗·安东尼诺 2 Cheng,Chih-Hong先生 2 拉杜·奥西夫 2 芭芭拉·乔布斯曼 2 阿洛伊斯·克诺尔。 2 米哈伊尔·拉斯金 2 安德鲁·威廉·罗斯科 2 哈拉尔德街 2 颜荣杰 1 阿默尔·布利法,拉巴 1 西蒙·布利兹 1 克里斯蒂安·巴克尔 1 贝诺·凯劳德 1 陈玉芳 1 贝诺·德拉哈耶 1 安托万·埃尔·霍卡耶姆 1 埃夫拉德,雨果 1 伊利耶斯·法尔科内 1 托马斯·吉布森·罗宾逊 1 关勇 1 罗尔夫·亨尼克 1 卢多维奇·亨利奥 1 穆罕默德·贾伯。 1 亚历山大·纳普 1 O.库兰基纳。 1 弗雷德里克·朗 1 Legay、Axel 1 李晓娟 1 罗立明 1 艾瑞克·马德琳 1 亚历杭德罗·莫塔 1 阮,Thanh-Hung 1 马塞尔·奥利维拉 1 罗德里戈·A·拉莫斯。 1 奥古斯托·桑帕约。 1 克里斯·沙弗 1 斯塔夫罗斯·特里帕基斯 1 王瑞 1 马丁·威尔辛 1 张杰 5篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 1 系统设计中的形式化方法 1 计算机基础理论 1 应用数学杂志 在4个字段中引用 17 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文