×

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

污点机器人

软件作者:Enck,W.,吉尔伯特,P.,Han,S.,Tendulkar,V.,Chun,B.-G。,考克斯,L.P.,荣格,J.,麦克丹尼尔,P.,谢斯,A.N。
参考文献: 7种出版物(2013-2020)
相关软件: 迪坦;JFlow公司;流动机器人;泰姬陵;F4F;德莱宾…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

迪坦

软件作者:条款J.,Li,W.,Orso,A。
参考文献: 5种出版物(2013-2021)
相关软件: 泰姬陵;污点机器人;流动机器人;F4F;虔诚;全景图…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

泰姬陵

软件作者:特里普,O.,皮斯托亚,M.,芬克,S.J.,斯里德哈兰,M.,韦斯曼,O。
参考文献: 6种出版物(2013-2020)
相关软件: 迪坦;F4F;流动机器人;污点机器人;虔诚;全景图…
主要领域: 计算机科学(68-XX)

流动机器人

软件作者:Arzt,S.,Rasshofer,S.,Fritz,C.,Bodden,E.,Bartel,A.,Klein,J.,Le Traon,Y.,Octeau,D.,麦克丹尼尔,P。
参考文献: 4种出版物(2015-2020)
相关软件: 泰姬陵;迪坦;污点机器人;回流;帆;阿莱蒂亚…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

虔诚的

软件作者:N。约万诺维奇,C.克鲁格,E.柯尔达
参考文献: 3种出版物(2014-2020)
相关软件: 失忆症;泰姬陵;迪坦;F4F;github;回流…
主要领域: 计算机科学(68-XX)

F4F型

软件作者:斯里德哈兰,M。;阿茨,S。;皮斯托亚,M。;Guarnieri,S。;特里普,O。;伯格,R。
参考文献: 3种出版物(2013-2020)
相关软件: 泰姬陵;迪坦;污点机器人;虔诚;回流;流体机器人…
主要领域: 计算机科学(68-XX)

电梯

软件作者:冯琴、王成成、李振民、金和硕、周媛媛、吴友峰
参考文献: 1本出版物(2014)
相关软件: JFlow公司;M-Sim卡;筛选;QEMU公司;理智的;泰姬陵…
主要领域: 计算机科学(68-XX)

差热分析++

软件作者:Kang MG、McKamant S、Poosankam P、Song D
参考文献: 2份出版物(2012-2019)
相关软件: 检漏表;鹌鹑;蚂蚁;乌斯特雷克;投掷
主要领域: 统计学(62-XX);计算机科学(68-XX)

调试工具

软件作者:Tikhomirov,S.等人。
参考文献: 2种出版物(2021年)
相关软件: 破坏公物;github;埃索
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

SymJS公司

软件作者:Li,G.,Andreasen,E.,Ghosh,I。
参考文献: 2种出版物(2017-2019)
相关软件: 通过;S3;Z3街;汉比;克莱;z3…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

检波

软件作者:Feng,Y.,Anand,S.,Dillig,I.,艾肯,A。
参考文献: 1本出版物(2015)
相关软件: 安德卫士;AppGuard软件;EviCheck公司;流动机器人;污点机器人
主要领域: 计算机科学(68-XX)

应用程序跟踪

软件作者:L。邱、张、申、孙
参考文献: 0个出版物
相关软件: 夫人;艺术机器人;盒化;弗里达;艺术家;特雷西…
主要领域:

回流

软件作者:费拉拉,皮埃特罗;奥利维里,卢卡;斯波托,福斯托
参考文献: 1份出版物(2020年)
相关软件: 流动机器人;帆;食糜泻;吗啡机器人;泰姬陵;迪坦…
主要领域: 计算机科学(68-XX)

科切克

软件作者:崔兴民;于达;陈,帕特里克;Hui,Lucas C.K。;Yiu,S.M。;青,思翰
参考文献: 1本出版物(2014)
相关软件: 机器人本奇
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

机器人本奇

软件作者:克里斯蒂安·弗里茨、史蒂文·阿尔茨、齐格弗里德·拉索弗
参考文献: 1本出版物(2014)
相关软件: 科切克
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

IccTA公司

软件作者:李莉;亚历山大巴特尔;特加文德夫·比斯桑德;雅克·克莱因;伊夫·勒特朗;史蒂芬·阿尔茨;等等。
参考文献: 0个出版物
相关软件: 天秤座;欺诈;monkeyrunner公司;约洛;小提琴手;蟒蛇…
主要领域:

米斯里鲁

软件作者:ConsenSys公司
参考文献: 1次出版(2021年)
相关软件: 溶剂图;埃弗;曼蒂科雷;github;为什么;为什么3…
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

西亚德

软件作者:汤占勇、王磊、邝开元、薛超、龚晓青、陈晓江、方定一、王峥
参考文献: 出版1期(2019年)
相关软件: VMHunt公司;NISLVMP公司;顶石;宾西姆;vm攻击;VMGuard…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

剑术

软件作者:蔡军;邹鹏;马金鑫;他,小君
参考文献: 0个出版物
相关软件: 迪坦;虔诚;github;投掷;克莱;可爱的
主要领域: 计算机科学(68-XX)

滑梯

软件作者:费斯特,J.,格雷科,G.,格罗斯,A。
参考文献: 0个出版物
相关软件:
主要领域:

污染镜

软件作者:王特,魏特,谷G,邹伟
参考文献: 0个出版物
相关软件:
主要领域: