×

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

生物-PEPA

97篇文献引用(2008–2024)
软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉
相关软件: 政治公众人物协议;棱镜;生物炭…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

CoCasl公司

26篇文献引用(2003–2014)
软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德
相关软件: CASL;莫德;赫茨…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

TVOC公司

20篇文献引用(2005–2022)
软件作者: 克拉克·巴雷特;方毅;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克
相关软件: CVT;Coq;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

阿克斯

20篇文献引用(2012–2023)
软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer)
相关软件: 塔马林;AVISPA;Maude-NPA…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LTSA-WS公司

12份文件引用(2006–2021)
软件作者: Magee J、Kramer J、Uchitel S等
相关软件: WSAT;NuSMV;UFO…
主要字段: 计算机科学(68-XX)

rp.flm.测试

15篇文献引用(2019–2023)
软件作者: 库斯塔·阿尔贝托斯(Juan A.Cuesta-Albertos)。;加西亚-葡萄牙,爱德华多;Febrero-Bande,Manuel;文塞斯劳Gonz'alez-Manteiga
相关软件: fda(R);pffr;狮身人面像…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)

并发工作台

12份文件引用(2000–2022)
软件作者: P.Stevens等人
相关软件: CADP;SIGREF公司;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

安全Dpi

13份文件引用(2004–2011)
软件作者: 轩尼诗,马修;朱利安·拉特克(Julian Rathke);吉田、Nobuko
相关软件: 乔卡姆;MJ;Jif…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

西格玛*

13份文件引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

规格

9份文件引用(2016–2023)
软件作者: A.Tiu
相关软件: 阿克斯;MWB;Abella…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

tK目标

6篇文献引用(2005–2008)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;克拉瓦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

XPi公司

6篇文献引用(2008–2020)
软件作者: 露西娅·阿西艾;米歇尔·博雷尔
相关软件: PiDuce;X产品;XPath…
主要字段: 计算机科学(68-XX)

工艺品

4份文件引用(2011–2022)
软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫
相关软件: VipTool;基因;石化…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

VERSA公司

3份文件引用(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-XX)

ICAOD公司

1份文件引用(2019)
软件作者: Ehsan Masoudi、Heinz Holling、翁记Wong
相关软件: R;设计GLMM;lhs…
主要字段: 统计学(62-XX)

SeVe公司

引用于2份文件(2012–2015)
软件作者: Luu,Anh Tuan;孙军;刘,杨;董金松
相关软件: 棱镜;拍打;卡斯珀…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

FreeST公司

1份文件引用(2022)
软件作者: 贝尔纳多·阿尔梅达、安德烈亚·莫迪多、瓦斯科·瓦康塞洛斯
相关软件: 丁香;施舍
主要字段: 计算机科学(68-XX)

纠结网络粒子滤波器

1份文件引用(2021)
软件作者: Tslil,Or;塔尔·费纳;阿维希·卡米
相关软件: github
主要字段: 系统论;控制(93-XX)

筛选结果依据…

全部的 前5名

相关软件