×

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文件
全部的 前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位作者

按年份列出的引文