机读格式显示(MARC)
- 000 00662nam0 2200133 450
- 010 __ |a 978-7-5612-8297-7 |d CNY48.00
- 200 1_ |a 复杂软件系统可信性分析与验证方法 |A fu za ruan jian xi tong ke xin xing fen xi yu yan zheng fang fa |b 专著 |f 符宁著
- 210 __ |a 西安 |c 西北工业大学出版社 |d 2022.08
- 215 __ |a 129页 |c 图 |d 26cm
- 330 __ |a 本书以开放网络环境下复杂软件的可信性需求为背景，系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。