×

Hets公司

swMATH标识: 7017
软件作者: Mossakowski,T.,Maeder,C.,Lüttich,K。
说明: Hets-异构工具集。Hets是一个解析、静态分析和证明管理工具,它集成了各种验证程序和不同的规范语言,从而为异构规范提供了一个工具。逻辑翻译是一流的公民。
主页: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm
相关软件: 木桶;伊莎贝尔/霍尔;伊莎贝尔;莫德;咖啡馆;可口可乐;科卡斯尔;TPTP;百万吨;尾端;TNT基地;目标3;OMDoc公司;特维尔;荷兰语;哈斯克尔;落叶松;哈斯卡斯;斯帕斯;霍尔灯
参考文献: 61种出版物
全部的 前5名

89位作者引用

21 莫萨科夫斯基,蒂尔
8 拉贝,弗洛里安
8 罗根巴赫,马库斯
7 代码库,米海
7 科哈塞,迈克尔
6 施罗德,卢茨
5 克纳普,亚历山大
4 霍洛扎尔,富尔雅
4 马德拉,亚历山德拉
4 塔勒基,安德烈
巴博萨,鲁伊斯·苏亚雷斯
兰格,克里斯托夫
马丁斯,曼努埃尔·安东尼奥
拉吉,丹尼尔
里斯科,阿德里安
2 阿吉尔,纳扎里诺M。
2 Autexier,谢尔盖
2 本斯穆勒,克里斯托夫·埃瓦尔德
2 邦迪,艾伦
2 卡斯特罗,巴勃罗F。
2 维多利亚州圣加尔
2 迪亚科内斯库,Răzvan
2 格罗夫,古德蒙德
2 丹尼尔,豪斯曼
2 哈夫雷恩,马格纳
2 亨尼克,罗尔夫
2 赫特,迪特
2 库兹,奥利弗
2 López Pombo,卡洛斯·古斯塔沃
2 迈鲍姆,托马斯·斯蒂芬·爱德华
2 绪方,和弘
2 O'Reilly,利亚姆
2 豌豆,艾莉森
2 桑内拉,唐纳德T。
2 温斯泰格,沃尔夫冈
1 阿兹,吉尔赫墨格罗肖
1 鲍迈斯特,休伯特
1 本萨勒姆,萨德克
1 贝塔兹,穆罕默德
1 贝塞拉,乔纳斯·桑托斯
1 卡列加里,丹尼尔
1 卡米纳蒂,马可·布莱特
1 程,彼得C.-H。
1 康法罗涅里,罗伯托
1 科斯塔,安德烈
1 埃里格,哈特穆特
1 埃佩,曼弗雷德
1 法里亚,何塞。
1 高知县富通寺
1 加西亚·加西亚,格雷西亚
1 霍夫曼,凯瑟琳
1 Isobe,吉野
1 詹姆斯,菲利普
1 杰姆尼克,马特亚
1 加尔维,雅科
1 塔梅斯根Kahsai
1 克伯,曼弗雷德
1 科哈塞,安德里亚
1 Krieg Brückner,伯恩德
1 Kühnberger,Kai-Uwe
1 吕克,多米尼克
1 吕蒂奇,克劳斯
1 马查多,罗德里戈
1 麦克莱恩,埃文
1 迈德,克里斯蒂安
1 Alexander Maletzky
1 毛乌切,穆拉德
1 莫斯,彼得D。
1 Mosteghanemi,M'hamed
1 保尔森,劳伦斯·查尔斯
1 Pawłowski,Wiesław
1 恩里克广场
1 雷切尔,霍斯特
1 里贝罗,莱拉
1 罗德里格斯,莱昂纳多·马奎斯
1 罗森伯格,托比亚斯
1 罗瓦特,科林
1 Sacerdoti Coen,克劳迪奥
1 肖尔默,马可
1 夏罗达,亚斯敏
1 索雅科娃,克里斯蒂娜
1 斯托克迪尔,亚伦
1 苏尔塔纳,尼克
1 萨瑟兰,霍莉E.A。
1 Szasz,诺拉
1 泰斯,弗兰克
1 温泽尔,马卡里厄斯
1 维辛,马丁
1 兹霍鲁德夫,维亚切斯拉夫

按年份引用出版物