MARTE公司 10篇文献引用(2009–2017) 软件作者: 对象管理集团。 相关软件: SysML;Uppaal;旋转… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者: T.Bolognesi、J.van de Lagemaat和C.Vissers 相关软件: LOTOS;并发工作台;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
风景优美 5份文件引用(2021–2023) 软件作者: 丹尼尔·弗里蒙特(Daniel J.Fremont)。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。 相关软件: 验证;CARLA公司;LGSVL… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
POOSL公司 3份文件引用(2003–2022) 软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。 相关软件: 蟒蛇;TypeScript;酯类… 主要字段: 计算机科学(68-XX)
LOTOOL公司 1份文件引用(2001) 软件作者: Llamas-Nistal,M.,Fernández-Iglesias,M.J.,Burguillo-Rial,J.C.,Pousada-Carballo,J.M.,González-Castaño,F.J.,Anido-Rifón,L。 相关软件: Topo公司 主要字段: 计算机科学(68-XX)