×

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

状态流

43篇文献引用(1989–2023)
软件作者: MathWorks公司。
相关软件: Simulink;Matlab;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

S-TaLiRo型

26篇文献引用(2011–2023)
软件作者: Annpureddy,Yashwanth;刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆
相关软件: 违约;SpaceEx;流量*…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

C2e2型

在14份文件中引用(2016–2022)
软件作者: P.Duggirala、S.Mitra、M.Viswanathan、M.Potok
相关软件: SpaceEx;流量*;CORA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

机构动态仿真模块组

引用于9份文件(2005–2023)
软件作者: 格兰·理查德·J。
相关软件: Matlab;Visual Basic;VBA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

Simulink编码器

3份文件引用(2009–2016)
软件作者: MathWorks公司。
相关软件: Simulink;Matlab;鲁棒控制工具箱…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

仄洛斯

6篇文献引用(2013年-2023年)
软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet)
相关软件: Simulink;状态流;LUSTRE…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

汽车MOTGen

4份文件引用(2009–2021)
软件作者: Ambar A.Gadkari;阿南·耶奥利卡尔(Anand Yeolekar);J.Suresh;S.Ramesh;斯瓦鲁普·莫哈利克;K.C.沙希达尔
相关软件: PHAVer;Simulink;Dymola…
主要字段: 计算机科学(68-XX)

LySHA公司

4份文件引用(2012–2021)
软件作者: Duggirala,Parasara Sridhar;萨扬·密特拉
相关软件: 凯伊迈拉;凯伊迈拉X;流量*…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

HDL编码器

1份文件引用(2015)
软件作者: 迈斯沃克
相关软件: Simulink;CVXGEN;Matlab…
主要字段: 粒子和系统力学(70-XX);系统论;对照(93-XX)

高电压

2份文件引用(2004–2007)
软件作者: Paula J.Pingree和Erich Mikk
相关软件: 普罗米拉;状态流;自旋蛋白
主要字段: 计算机科学(68-XX)

混合跟踪验证程序

2份文件引用(2012–2017)
软件作者: 黄振奇;萨扬·密特拉
相关软件: GRKLib;S-TaLiRo;状态流…
主要字段: 动力系统与遍历理论(37-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

SMP工具

1份文件引用(2021)
软件作者: Kaalen,S。;M.Nyberg。
相关软件: 状态流;MoDeST;TimeNET…
主要字段: 计算机科学(68-XX)

HyLink公司

在0个文档中引用
软件作者: 萨扬·密特拉
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件