×

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

混合系统实验室

11份文件引用(2021–2024)
软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。
相关软件: HyEQ;YALMIP;Matlab公司
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

HyDiff公司

1份文件引用(2023)
软件作者: 诺勒,亚尼克;科琳娜·帕萨雷努(Corina S.Pasareanu)。;马塞尔·伯赫梅;孙友成;阮、黄林;拉尔斯·格伦斯克
相关软件: 内乌兹;FuzzGen公司;DifFuzz…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

辛根

在0个文档中引用
软件作者: Flückiger L、Baur C、Clavel R
相关软件: ——
主要字段: ——

筛选结果依据…