中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于T3BDD的动态模型检查S

文献类型:期刊论文

作者倪彬 ; 冯玉琳 ; 黄涛
刊名软件学报
出版日期1999
卷号10期号:10
关键词组件 JavaBeans 形式规范 符号化 模型检查 二叉判定图
其他题名t3bdd based dynamic model checking
收录类别wanfang
公开日期2010-08-20
源URL[http://124.16.136.157/handle/311060/3716]  
专题软件研究所_软件工程技术研究开发中心 _期刊论文
推荐引用方式
GB/T 7714
倪彬,冯玉琳,黄涛. 基于T3BDD的动态模型检查S[J]. 软件学报,1999,10(10).
APA 倪彬,冯玉琳,&黄涛.(1999).基于T3BDD的动态模型检查S.软件学报,10(10).
MLA 倪彬,et al."基于T3BDD的动态模型检查S".软件学报 10.10(1999).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。