混合系统实验室 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)