×

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

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)

VERSA公司

3份文件引用(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-XX)

PSAMS系统

1份文件引用(2002)
软件作者: 黄孙仁;理查德·赖
相关软件:
主要字段: 计算机科学(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)

筛选结果依据…