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