CADP公司 swMATH ID: 4993 软件作者: 休伯特·加拉维;赫尔曼斯,霍尔格;CONVCS团队 描述: CADP(“分布式进程的构造和分析”,以前称为“CAESAR/ALDEBARAN开发包”)是一个流行的用于设计通信协议和分布式系统的工具箱。CADP由INRIA Rhone Alpes的VASY团队开发,并与各种补充工具相连。CADP得到维护、定期改进,并用于许多工业项目。 主页: http://cadp.inria.fr/ 相关软件: 自旋蛋白;LOTOS公司;Uppaal公司;棱镜;mCRL2型;电子LOTOS;CAESAR_解决;Exp.打开;NuSMV公司;克洛诺斯;高超声速;MRMC公司;微CRL;IF-2.0型;LNT2LOTOS公司;FDR3公司;M-树;BISIMULATOR(双模拟);LTSmin公司;fc2工具 引用于: 115文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 使用CADP将功能验证和性能评估结合起来。 兹比尔1064.68523休伯特Garavel;霍尔格·赫尔曼斯 2002 全部的 前5名218位作者引用 14 拉杜·马特埃斯库 11 弗雷德里克·朗 9 休伯特Garavel 8 霍尔格·赫尔曼斯 8 Tim A.C.Willemse。 7 Joost-Pieter卡托恩 7 格温·萨拉恩 5 玛丽·斯托琳加 5 范德波尔,扬·科内利斯 5 安东·威伊斯(Anton J.Wijs)。 4 Jan Friso,格鲁特 4 杰伦·J·A·凯伦。 4 金·古德斯特兰·拉森 4 梅里姆·乌代尔尼 三 Jos C.M.Baeten。 三 斯特凡·布隆 三 威廉·扬·福克金 三 米歇尔·阿德里安·雷尼尔 三 雅各布斯·E·罗达。 三 安东内拉·桑顿 三 温德林·塞维 三 马克·蒂默 三 吉利奥拉·瓦格利尼 2 罗伯托·巴布蒂 2 萨米克·巴苏 2 马吕斯·博兹加 2 特夫菲克·布尔坦 2 兰斯·克莱维兰 2 斯乔德·克兰恩 2 De Francesco,尼科莱塔 2 德容、希德 2 埃里克·P·德文克。 2 埃斯特尔·杜马斯 2 约翰·费恩利 2 格内西、斯特凡尼亚 2 克里斯蒂安·克劳斯 2 迭戈·拉特拉 2 巴斯·卢提克 2 梅克·马西克 2 佩德罗·蒙泰罗。 2 西蒙娜·奥尔赞 2 马库斯·拉贝。 2 舍韦,斯文 2 Schiffelers,R.R.H。 2 米哈埃拉·西希雷亚努 2 吉·斯尔巴 2 马钦·斯皮尔卡 2 范·比克,D.A。 2 威格·威瑟林克 2 张丽君 1 艺术、忠诚 1 拉赫达尔·阿克伦 1 亚历山德罗·阿尔迪尼 1 奥罗尔·安尼奇尼 1 法哈德·阿尔巴 1 普拉纳夫·阿沙尔 1 乔治·巴奇 1 乔瓦尼·巴奇 1 克里斯特尔·拜尔 1 马可·贝库蒂 1 贝恩德·贝克尔 1 纳比尔·贝拉拉 1 兰齐·本·萨拉赫 1 马可·贝尔纳多 1 迪迪埃·伯特 1 阿格涅斯卡·比尔纳卡 1 杰西·比尔纳基 1 本杰明·比斯平 1 博特尼克,E。 1 艾哈迈德·博阿贾尼 1 Hichem Boudali公司 1 亚历山大·布尔加科夫 1 马克·鲍曼 1 沃尔克·布劳恩 1 卢博什·布里姆 1 阿兰·邦迪 1 哈维尔·卡马拉 1 卡洛斯·卡纳尔 1 弗朗西斯·卡夫 1 科什卡,米兰 1 伊米德·埃丁·查马 1 佛罗伦萨雪佛龙 1 克莉丝汀,杂乱无章 1 吉安弗兰科·西亚多 1 弗拉维奥·科拉迪尼 1 尼古拉斯·科斯特 1 佩皮恩·克鲁森 1 Pieter J.L.Cuijpers。 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 安德烈亚斯·恩格尔布雷特·达尔斯加德 1 Thao Dang先生 1 戴维·德·弗鲁托斯·埃斯克里格 1 德普特、桑德 1 约里·德·鲁伊特 1 汉斯·佩特·迪费尔 1 柯特林·迪马 1 阿戈斯蒂诺·多维尔 1 克莱门斯·杜伯斯拉夫 1 弗朗西斯科·杜兰 1 瑟伦·埃内沃德森 …还有118位作者 全部的 前5名19篇连载文章中引用 9 理论计算机科学 9 计算的形式方面 5 计算机程序设计科学 5 系统设计中的形式化方法 5 逻辑与代数程序设计杂志 5 程序设计中的逻辑和代数方法杂志 三 信息学报 三 ACM计算逻辑事务 2 通用计算机科学杂志 1 计算机与系统科学杂志 1 绩效评估 1 信息与计算 1 机器学习 1 国际计算机数学杂志 1 控制科学档案 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 算法 1 对称 全部的 前5名在8个字段中引用 115 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 6 概率论与随机过程(60-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 按年份列出的引文