《交互式馬爾可夫鏈:並發係統的設計、驗證與評價》主要介紹瞭IMC的理論及其在並發係統層次化設計以及功能驗證與性能評價方麵的應用,主要內容包括IMC上的分支時間等價和前序關係、IMC的動作細化理論以及基於IMC的模型檢驗方法。通過正交結閤經典的進程代數和連續時間馬爾可夫鏈模型,交互式馬爾可夫鏈(IMC)提供瞭完美的可組閤化的並發係統設計和分析框架。
《交互式馬爾可夫鏈:並發係統的設計、驗證與評價》可以供研究生、教師和科研人員作為瞭解並發係統理論研究及與數學機械化基本思想與方法相結閤的形式在設計與分析技術最新成果的參考書。
發表於2024-12-28
交互式馬爾可夫鏈 2024 pdf epub mobi 電子書 下載
圖書標籤: 馬爾剋夫過程5 計算機科學 概率論5 數學 QS Markov Formalism Formal_Methods
通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型,IMC提供瞭完美的可組閤化的並發係統設計和分析框架
評分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型,IMC提供瞭完美的可組閤化的並發係統設計和分析框架
評分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型,IMC提供瞭完美的可組閤化的並發係統設計和分析框架
評分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型,IMC提供瞭完美的可組閤化的並發係統設計和分析框架
評分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型,IMC提供瞭完美的可組閤化的並發係統設計和分析框架
交互式馬爾可夫鏈 2024 pdf epub mobi 電子書 下載