×

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

克罗诺斯

246篇文献引用(1997–2022)
软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine
相关软件: Uppaal;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

MPT公司

255篇文献引用(2004–2023)
软件作者: M.Kvasnica;P.Grieder;M.Baoti;苏黎世联邦理工大学;弗朗西斯科·博雷利
相关软件: YALMIP;CPLEX;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

操作系统质量保证

44篇文献引用(2018–2023)
软件作者: Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd
相关软件: 莫塞克;qpOASES;SCS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

TrueTime(真实时间)

引用于40篇文献(2005–2021)
软件作者: Anton Cervin、Dan Henriksson、Bo Lincoln、Johan Eker、Karl ErikÅrzén
相关软件: Matlab;Simulink;Torsche…
主要字段: 变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

混合工具箱

30篇文献引用(2004–2023)
软件作者: 贝姆帕德A。
相关软件: HYSDEL公司;MPT;CPLEX…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

时间

24篇文献引用(2002–2022)
软件作者: H.Carli、L.G.S.Duarte、L.A.C.P.da Mota
相关软件: Uppaal;LinMapTS;枫叶…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);计算机科学(68-XX)…

背心

23篇文献引用(2001–2016)
软件作者: Stankovic A、Wang H、Humphrey M、Zhu R、Poornalingam R、Lu C
相关软件: 托勒密;CPLEX;Uppaal…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);功能分析(46-XX);概率论与随机过程(60-XX)…

MARTE公司

10篇文献引用(2009–2017)
软件作者: 对象管理集团。
相关软件: SysML;Uppaal;旋转…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

税收

15篇文献引用(2001年至2017年)
软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特
相关软件: Uppaal;克罗诺斯;埃菲尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

乔托

17篇文献引用(2001–2022)
软件作者: 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希
相关软件: 卢斯特;Uppaal;酯类…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

TGFF公司

8份文件引用(2008–2019)
软件作者: Dick RP、Rhodes DL、Wolf W。
相关软件: Simulink;CPLEX;变色龙…
主要字段: 算子理论(47-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

时刻2

引用于9份文件(2010–2016)
软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基
相关软件: 莫德;ITP/OCL;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RTC工具箱

引用于9份文件(2008–2017)
软件作者: Wandeler E、Thiele L
相关软件: DISCO;帕洛克;乔托…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

部队NLP

引用于9份文件(2018–2023)
软件作者: 扎内利,A。;Domahidi,A。;赫雷斯,J。;M.莫拉里。
相关软件: ACADO;qpOASES;GRAMPC…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

GRAMPC公司

8份文件引用(2018–2022)
软件作者: 恩格尔,托拜厄斯;安德烈亚斯·沃尔兹;费利克斯·梅斯默(Felix Mesmer);Rhein,Sönke;克努特·格雷钦
相关软件: VIATOC;ACADO;qpOASES…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

休谟

3份文件引用(2007–2011)
软件作者: 哈蒙德,K.,迈克尔森,G。
相关软件: 旋风;Cedalion;JastAdd…
主要字段: 计算机科学(68-XX)

珍珠

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

同步AADL2音频

2份文件引用(2015)
软件作者: Bae,K.,Ølveczky,P.C.,Meseguer,J.,Al-Nayeem,A。
相关软件: 莫德;Uppaal;TSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DREAM工具

2份文件引用(2006–2013)
软件作者: 加博·马德尔
相关软件: 高科技;IF-2.0;Kronos…
主要字段: 计算机科学(68-XX)

MaRTE操作系统

1份文件引用(2001)
软件作者: 里瓦斯,马里奥·阿尔迪亚;迈克尔·冈萨雷斯港
相关软件: TrueTime;托勒密;Torsche…
主要字段: 计算机科学(68-XX)

操作En

3份文件引用(2022–2023)
软件作者: Pantelis Sopasakis、Emil Fresk、Panagiotis Patrinos
相关软件: ProximalAlgorithms.jl;UNLocBoX;阿尔根卡…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

EFSMT公司

2份文件引用(2016年至2019年)
软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S
相关软件: z3;Yices;SMT-RAT…
主要字段: 计算机科学(68-XX)

ESPADON公司

2份文件引用(2003–2006)
软件作者: 鲍勃·K·马达哈尔。;艾恩·阿尔斯通(Ian D.Alston)。;丹尼斯·奥拉格尼尔;汉斯·舒勒;马克·托马斯(Mark Thomas);萨吉特,布丽吉特
相关软件: 锡林克斯
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

全球通信网络2

2份文件引用(2020年)
软件作者: 唐J.、埃里克森L.、福克森J.、詹斯费尔特P。
相关软件: FANN;贝叶斯Py;Matlab…
主要字段: 计算机科学(68-XX)

大都市

2份文件引用(2002–2018)
软件作者: 格雷戈·戈斯勒(Gregor Gossler);阿尔贝托Sangiovanni-Vincentelli
相关软件: 托勒密;普罗米修斯
主要字段: 计算机科学(68-XX)

佩伽斯

2份文件引用(2014–2023)
软件作者: 实时工作
相关软件: COINC公司;南希;DiscoDNC…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

VDM工具

1份文件引用(2017年)
软件作者: J Fitzgerald,PG Larsen,南撒哈拉
相关软件: AGG;MiniSat;序曲工具…
主要字段: 计算机科学(68-XX)

VSIPL公司++

在0个文档中引用
软件作者: Lebak,J。;Kepner,J。;霍夫曼,H。;E·拉德利奇。
相关软件: CUDA;量子点;PIMA(GE)2…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

ApNet公司

1份文件引用(2019)
软件作者: Soroush Bateni;刘聪(音)
相关软件: 阿波罗;PredJoule;AUTOSAR…
主要字段: 计算机科学(68-XX)

BBProf教授

1份文件引用(2021)
软件作者: 戈萨纳加米;塔拉波雷,Dharmesh;雷纳托·曼库索
相关软件:
主要字段: 计算机科学(68-XX)

汽车

1份文件引用(2017年)
软件作者: L.T.X.Phan、J.Lee、A.Easwaran、V.Ramaswamy、S.Chen、I.Lee和O.Sokolsky
相关软件: 反之亦然;Uppaal公司
主要字段: 计算机科学(68-XX)

孔特戈

1份文件引用(2017年)
软件作者: 哈桑,莫诺瓦尔;Sibin Mohan;佩利佐尼,鲁道夫;Rakesh B.博巴。
相关软件:
主要字段: 计算机科学(68-XX)

深度RT

1份文件引用(2019)
软件作者: Kang,Woochul;钟,Jaeyong
相关软件: AlexNet;github;模型动物园…
主要字段: 计算机科学(68-XX)

DSP系统工具箱

1份文件引用(2016)
软件作者: mathworks.com网站
相关软件: 样条线工具箱;正交样条基
主要字段: 数值分析(65-XX);系统论;对照(93-XX)

游戏时间

在0个文档中引用
软件作者: Seshia,Sanjit A。;乔纳森·科特克
相关软件:
主要字段:

GenCCSL公司

1份文件引用(2015)
软件作者: Frédéric Mallet;格里戈里·兹霍尔特基维奇
相关软件: TimeSquare;CCSL公司
主要字段: 计算机科学(68-XX)

HiPER公司

1份文件引用(1989)
软件作者: 高地,佛罗里达州。;我是C.T。
相关软件: PL/I公司
主要字段: 计算机科学(68-XX)

灯-PREM

1份文件引用(2019)
软件作者: R.Mancuso、R.Dudko、M.Caccamo
相关软件:
主要字段: 计算机科学(68-XX)

MMOpt公司

1份文件引用(2018)
软件作者: 哈迪亚·哈吉(Khadija Hadj)·塞勒姆(Salem);Yann Kieffer;圣埃芬·曼奇尼
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

muAO MPC

1份文件引用(2022)
软件作者: Zometa,P.,Kögel,M.,Findeisen,R。
相关软件: FiOrdOs;LiftOpt;Matlab…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

普雷斯托

1份文件引用(2022)
软件作者: 塞纳帕蒂,德布拉塔;阿纳布·萨卡尔(Arnab Sarkar);钱丹·卡法
相关软件: iFogSim;CPLEX公司
主要字段: 计算机科学(68-XX)

RapiTime公司

1份文件引用(2016)
软件作者: Rapita系统有限公司
相关软件: FShell;电源插座
主要字段: 计算机科学(68-XX)

舒姆-乌科斯

1份文件引用(2019)
软件作者: 周波、邱伟、陈毅、彭丙
相关软件: 雅提斯
主要字段: 计算机科学(68-XX)

木材

1份文件引用(2009)
软件作者: 黑色,A。;卡尔森,M。;琼斯,M。;基伯茨,R。;J·诺德兰德。
相关软件: 交易人;AmbientTalk;Cilk;…(C)…
主要字段: 计算机科学(68-XX)

戴安娜

在0个文档中引用
软件作者: V.A.Antonenko、E.V.Chemeritskiy、A.B.Glonina等人。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段