期刊详情
High-Confidence Computing
立即访问
语言：
英文
所在数据库：
Shandong University
更新时间：
2026-03-19 14:35:54
期刊详情
High-Confidence Computing 由 Elsevier 出版，专注于高可信计算系统。它发表关于形式化验证、容错计算、实时系统、安全关键软件（如航空、医疗、核能控制）、可靠性工程及网络安全保障的理论与应用研究，旨在确保复杂系统在极端条件下的正确性与安全性。