安全和安保的形式化方法：航空航天应用案例研究 电子书下载

原名: Formal Methods for Safety and Security: Case Studies for Aerospace Applications
作品简介:本书是对航空航天领域正式方法进行审议的结果。本书特别深入探讨了在安全关键和时间关键的应用（例如航空航天工程中的应用）中使用形式化方法对软件进行验证、确认和优化。中的章节……