Implementation and optimization of 
LTL probabilistic model checker
" /> LTL概率模型检验工具的实现与优化
计算机工程与科学
首页 |  期刊介绍 |  编委会 |  投稿指南 |  投稿须知 |  期刊订阅 |  学术合作 |  下载中心 |  留言 |  联系我们 |   |  English
计算机工程与科学
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
LTL概率模型检验工具的实现与优化
林哲超,董威
(国防科学技术大学计算机学院,湖南 长沙 410073)
Implementation and optimization of 
LTL probabilistic model checker
LIN Zhe-chao,DONG Wei
(College of Computer,National University of Defense Technology,Changsha 410073,China)

湘ICP备10006030号
版权所有 © 《计算机工程与科学》 编辑部
地址:中国湖南省长沙市开福区德雅路109号(410073) 电话:0731-84576405 Email:jsjgcykx@vip.163.com
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn