×

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

引文 按字母顺序

WSAT公司

29篇文献引用（2004年至2019年）
软件作者： 傅湘；布尔坦、特夫菲克；苏建文
相关软件： BPEL2PN；CADP；旋转…
主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…

LTSA-WS公司

12份文件引用(2006–2021)
软件作者： Magee J、Kramer J、Uchitel S等
相关软件： WSAT；NuSMV；UFO…
主要字段： 计算机科学（68-XX）

SWORD公司

5份文件引用(2005–2012)
软件作者： S Ponnekanti，一只狐狸
相关软件： 朱莉；NuSMV；商店2…
主要字段： 计算机科学（68-XX）

约佩拉

3份文件引用(2007–2012)
软件作者： Pautasso C、Alonso G。
相关软件： 图形平面图；AO4BPEL；cglib…
主要字段： 计算机科学（68-XX）

自动同步

3份文件引用(2009–2012)
软件作者： 怀、金鹏；邓婷；李贤贤；杜宗霞；郭慧鹏
相关软件： WSAT；NuSMV；LTSA-WS…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段