当前位置:首页 > 李永祥著相关PDF电子书下载
-
交互式马尔可夫链 并发系统的设计、验证与评价
吴尽昭,王永祥,覃广平著2007 年出版109 页ISBN:7030188667本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容:1. IMC上的分支时间等价和前序关系;2. 基于IMC的模型检验;3. IMC上的动作细化理论。...
-
-
-
-
-
-
-
-
-
本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容:1. IMC上的分支时间等价和前序关系;2. 基于IMC的模型检验;3. IMC上的动作细化理论。...