期刊详情
Proceedings Of Ieee International Symposium On High Assurance Systems Engineering
立即访问
语言：
英文
所在数据库：
Ieee Computer Society
更新时间：
2026-04-06 20:48:12
期刊详情
Proceedings Of Ieee International Symposium On High Assurance Systems Engineering 《IEEE高保障系统工程国际研讨会论文集》发表高可靠性系统、安全工程及形式化验证的研究。内容涵盖故障树分析、安全关键系统设计、可靠性建模及风险评估，致力于保障航空航天、医疗及核能等领域系统的安全运行。