Fortis: A Tool for Analysis and Repair of Robust Software Systems
Fortis: A Tool for Analysis and Repair of Robust Software Systems
复制标题
Fortis：用于分析和修复稳健软件系统的工具
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Changjian Zhang, Ian Dardik
中科院分区：
文献类型：
--
作者：
Changjian Zhang, Ian Dardik
登录
查看更多内容
DOI：
10.1109/icse48619.2023.00046
发表时间：
2023
期刊：
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE
影响因子：
--
作者：
Zhang, Changjian;Saluja, Tarang;Meira-Góes, Rômulo;Bolton, Matthew;Garlan, David;Kang, Eunsuk
通讯作者：
Kang, Eunsuk
存在活力时的稳健性
DOI：
10.1007/978-3-642-14295-6_36
发表时间：
2010
期刊：
Artif. Intell.
影响因子：
--
作者：
R. Bloem;K. Chatterjee;Karin Greimel;T. Henzinger;Barbara Jobstmann
通讯作者：
Barbara Jobstmann
DOI：
10.1145/2185632.2185648
发表时间：
2012
期刊：
Artif. Intell.
影响因子：
--
作者：
U. Topcu;N. Ozay;Jun Liu;R. Murray
通讯作者：
R. Murray
X 战警：基于突变的安全仪式正式分析方法
DOI：
--
发表时间：
2020
期刊：
European Symposium on Security and Privacy
影响因子：
--
作者：
Diego Sempreboni;L. Viganò
通讯作者：
L. Viganò
OASIS：弱化用户对安全关键系统的义务
DOI：
--
发表时间：
2020
期刊：
IEEE International Requirements Engineering Conference
影响因子：
--
作者：
T. Tun;A. Bennaceur;B. Nuseibeh
通讯作者：
B. Nuseibeh