×

找到3个软件包（结果1-3）

引文 按字母顺序

CoLiS公司

2份文件引用(2017)
软件作者： 尼古拉斯·珍妮罗德；克劳德·马奇；拉尔夫·特里宁
相关软件： Why3；WhyML；CVC4…
主要字段： 计算机科学（68-XX）

电子稳定控制系统4

2份文件引用(2010–2011)
软件作者： 佩里·R·詹姆斯。；帕特里斯·沙林
相关软件： 布吉；ESC/Java；cvc3…
主要字段： 计算机科学（68-XX）

PVSio-网

2份文件引用(2014–2016)
软件作者： Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby
相关软件： 操纵器；HybridSal；HSolver…
主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段