本書從復雜信息系統(tǒng)自適應邏輯建模與驗證、自適應過程時間特性建模與分析、自適應行為不確定建模與決策三個方面著手，系統(tǒng)全面地介紹了面向復雜信息系統(tǒng)的自適應軟件建模與可靠性驗證分析相關的技術、理論和方法。