克罗诺斯 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)…
同步AADL2音频 2份文件引用(2015) 软件作者: Bae,K.,Ølveczky,P.C.,Meseguer,J.,Al-Nayeem,A。 相关软件: 莫德;Uppaal;TSMV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(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份文件引用(2002–2018) 软件作者: 格雷戈·戈斯勒(Gregor Gossler);阿尔贝托Sangiovanni-Vincentelli 相关软件: 托勒密;普罗米修斯 主要字段: 计算机科学(68-XX)
VSIPL公司++ 在0个文档中引用 软件作者: Lebak,J。;Kepner,J。;霍夫曼,H。;E·拉德利奇。 相关软件: CUDA;量子点;PIMA(GE)2… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
汽车 1份文件引用(2017年) 软件作者: L.T.X.Phan、J.Lee、A.Easwaran、V.Ramaswamy、S.Chen、I.Lee和O.Sokolsky 相关软件: 反之亦然;Uppaal公司 主要字段: 计算机科学(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)
木材 1份文件引用(2009) 软件作者: 黑色,A。;卡尔森,M。;琼斯,M。;基伯茨,R。;J·诺德兰德。 相关软件: 交易人;AmbientTalk;Cilk;…(C)… 主要字段: 计算机科学(68-XX)