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