×

找到16个软件包(结果1-16)

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

防抱死制动系统

32篇文献引用(2012–2022)
软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。
相关软件: JCobox公司;中美合作所;Erlang…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

普罗米拉

30篇文献引用(1997–2022)
软件作者: Natarajan,V。;Gerard J.霍尔兹曼。
相关软件: 自旋蛋白;jSpin;项目B…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

阿斯卡隆

6篇文献引用(2002–2012)
软件作者: 托马斯·法林格;亚历山德鲁·朱格鲁(Alexandru Jugravu);萨布里·普拉纳;Radu Prodan;克洛维斯·塞拉吉奥托;洪林忠
相关软件: Java CoG工具包;SCALEA公司;网格流…
主要字段: 计算机科学(68-XX)

舒适的

在14份文件中引用(1979–2015)
软件作者: 劳尔,体育。;托里吉亚尼,P.R。;护罩,M.W。
相关软件: 路径帕斯卡;LOTOS;LUSTRE…
主要字段: 计算机科学(68-XX)

AMT公司

12份文件引用(2008–2018)
软件作者: D.尼科维奇,O.马勒
相关软件: Uppaal;SpaceEx;棱镜…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

莫德哈特

5份文件引用(1997–2017)
软件作者: F.贾哈尼安;A.K.Mok先生
相关软件: 埃斯特尔;Uppaal;Kronos…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

ACTLW公司

6篇文献引用(2008–2016)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PrologCheck(序言检查)

3份文件引用(2014–2022)
软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔
相关软件: K校准仪;K工具;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

Petri-PDL公司

3份文件引用(2016–2018)
软件作者: 克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯
相关软件: 莫德
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PyBioNet适配

1份文件引用(2020年)
软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;RG波斯纳;拉瓦切克,WS
相关软件: COPASI;AMIGO公司;碲…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)

加密验证

2份文件引用(2012–2013)
软件作者: 大卫·卡德;布鲁诺·布兰切特
相关软件: ASPIER公司;OCaml;密码点…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

DaProS公司

在0个文档中引用
软件作者: 加列戈斯一世、盖茨A、特威迪C
相关软件: MARTE公司;HERBY;UML秒…
主要字段:

ASDeX公司

1份文件引用(2018)
软件作者: 马明宇(Mingyu Ma)、拉尔斯·赫德里奇(Lars Hedrich)、克里斯汀·斯波勒(Christian Sporrer)
相关软件: MiniSat;通过;AMT…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

DAFY公司

1份文件引用(1992)
软件作者: 埃里克·拉勒曼德(Eric Lallemand);勒杜克,盖伊
相关软件:
主要字段: 计算机科学(68-XX)

TXP公司

1份文件引用(2005)
软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。
相关软件: Java-MaC;LTL2BA;自旋
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段