有哪些信誉好的足球投注网站- 1、本文档共18页，其中可免费阅读6页，需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
- 3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第卷第期计算机学报年月随机模型检验研究刘阳李宣东马艳王林章南京大学计算机软件新技术国家重点实验室南京新加坡国立大学计算学院计算机科学系新加坡南京航空航天大学计算机科学与技术学院南京摘要随机模型检验作为模型检验理论的延伸和推广可用于验证分析系统模型的定性或定量性质其已经应用到随机分布式算法验证通信协议性能分析甚至是系统生物学等跨学科领域从世纪年代末至今随机模型检验引起了形式验证等领域的广泛关注并取得了很大的进展该文追溯了随机模型检验的渊源系统地概括了其最基本的原理及几类典型的概率的和模型检验随机系
第 卷 第 期 计 算 机 学 报
３８ １１
Ｖｏｌ．３８ Ｎｏ．１１
年 月
２０１５ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１５
您可能关注的文档
- 数学研究推动中心研讨会计画书 - 台湾数学教育学会.doc
- 数值分析-第三章.ppt
- 数字dc-dc 电源模块 - artesyn embedded technologies.pdf
- 数字化40 – 感知变化和抓住机遇 - wfbb.pdf
- 数字黄土高原水土保持元数据.doc
- 数字集成电路静态时序 - 珠海南方集成电路设计服务中心.pdf
- 数字集成电路设计描述与仿真 - 清华大学出版社.pdf
- 数字基带传输系统《通信原理》.ppt
- 数字滤波器研究.pdf
- 数字摄影测量与虚拟城市建设.doc
- 5.3.1函数的单调性（教学课件）--高中数学人教A版（2019）选择性必修第二册.pptx
- 部编版道德与法治2024三年级上册 《科技提升国力》PPT课件.pptx
- 2.7.2 抛物线的几何性质（教学课件）-高中数学人教B版（2019）选择性必修第一册.pptx
- 人教部编统编版小学六年级上册道德与法治9 知法守法 依法维权(第一课时)课件.pptx
- 三年级上册品德道德与法治《学习伴我成长》.pptx
- 部编版小学道德与法治六年级上册6 人大代表为人民 课件.pptx
- 部编版小学道德与法治六年级上册1感受生活中的法律第一课时课件.pptx
- 2.5.2圆与圆的位置关系（教学课件）-高中数学人教A版（2019）选择性必修第一册.pptx
- 2.5.1直线与圆的位置关系-（教学课件）--高中数学人教A版（2019）选择性必修第一册.pptx
- 14.1.1 同底数幂的乘法（教学课件）-初中数学人教版八年级上册.pptx
文档评论（0）