辛西娅 引用于8份文件(2012–2022) 软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。 相关软件: UPPAAL TIGA;Uppaal;棱镜… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;控制(93-XX)
蛋白石 6篇文献引用(2012–2021) 软件作者: Dalsgaard,A.E.、Hansen,R.R.、Jörgensen,K.Y.、Larsen,K.G.、Olesen,M.C.、Olsen,P.、Srba,J。 相关软件: Uppaal;算法97;学习库… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);系统论;控制(93-XX)
ETMetera公司 3份文件引用(2022–2023) 软件作者: Delimpaltadakis,Giannis;加布里埃尔·德·阿尔布开克·格莱泽(Gabriel de Albuquerque Gleizer);伊沃·范·斯特拉伦;Manuel jun,马祖。 相关软件: dReal;z3;CUDD… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
pntool工具 引用于2份文件(2004) 软件作者: 屋大维,帕斯特拉瓦努;Matcovski、Mihaela Hanako;克里斯蒂安·马胡利亚 相关软件: Matlab公司 主要字段: 总体主题;藏品(00-XX);系统论;控制(93-XX)