Baidu
map

Comprehensive evaluation of file systems robustness with SPIN model checking

Yuan, JC; Aoki, T; Guo, XY

Yuan, JC (通讯作者)，Japan Adv Inst Sci & Technol, Sch Informat Sci, 1-1 Asahidai, Nomi, Ishikawa 9231292, Japan.

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022; 32 (6):

Abstract

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索

Baidu
map
Baidu
map
Baidu
map