×

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

辛西娅

引用于8份文件(2012–2022)
软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。
相关软件: UPPAAL TIGA;Uppaal;棱镜…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;控制(93-XX)

蛋白石

6篇文献引用(2012–2021)
软件作者: Dalsgaard,A.E.、Hansen,R.R.、Jörgensen,K.Y.、Larsen,K.G.、Olesen,M.C.、Olsen,P.、Srba,J。
相关软件: Uppaal;算法97;学习库…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);系统论;控制(93-XX)

TAME公司

5份文件引用(2000–2011)
软件作者: 阿彻,迈拉
相关软件: PVS;Uppaal;落叶松…
主要字段: 计算机科学(68-XX)

珍珠

4份文件引用(1982–2007)
软件作者: Gumzej,罗马人;陆寿荣
相关软件: SPNP;阿达95
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

ETMetera公司

3份文件引用(2022–2023)
软件作者: Delimpaltadakis,Giannis;加布里埃尔·德·阿尔布开克·格莱泽(Gabriel de Albuquerque Gleizer);伊沃·范·斯特拉伦;Manuel jun,马祖。
相关软件: dReal;z3;CUDD…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

pntool工具

引用于2份文件(2004)
软件作者: 屋大维,帕斯特拉瓦努;Matcovski、Mihaela Hanako;克里斯蒂安·马胡利亚
相关软件: Matlab公司
主要字段: 总体主题;藏品(00-XX);系统论;控制(93-XX)

PSyHCoS系统

1份文件引用(2014)
软件作者: 安德烈,艾蒂安;刘,杨;孙军;董金松
相关软件: Shrinktech公司;拍打;PPL…
主要字段: 计算机科学(68-XX)

伏都教

1份文件引用(2004)
软件作者: 迪瑟斯,卡斯滕;迈克尔·休恩
相关软件: Uppaal公司
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前3名

主字段