《交互式馬爾可夫鏈:並發係統的設計、驗證與評價》主要介紹瞭IMC的理論及其在並發係統層次化設計以及功能驗證與性能評價方麵的應用，主要內容包括IMC上的分支時間等價和前序關係、IMC的動作細化理論以及基於IMC的模型檢驗方法。通過正交結閤經典的進程代數和連續時間馬爾可夫鏈模型，交互式馬爾可夫鏈(IMC)提供瞭完美的可組閤化的並發係統設計和分析框架。
《交互式馬爾可夫鏈:並發係統的設計、驗證與評價》可以供研究生、教師和科研人員作為瞭解並發係統理論研究及與數學機械化基本思想與方法相結閤的形式在設計與分析技術最新成果的參考書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型，IMC提供瞭完美的可組閤化的並發係統設計和分析框架
评分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型，IMC提供瞭完美的可組閤化的並發係統設計和分析框架
评分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型，IMC提供瞭完美的可組閤化的並發係統設計和分析框架
评分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型，IMC提供瞭完美的可組閤化的並發係統設計和分析框架
评分通過正交結閤經典的進程代數和連續時間馬爾科夫鏈模型，IMC提供瞭完美的可組閤化的並發係統設計和分析框架
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有