基于T3BDD的动态模型检查S

---

Autoria(s): 倪彬; 冯玉琳; 黄涛

Data(s)	1999
Identificador	http://ir.iscas.ac.cn/handle/311060/3716 http://www.irgrid.ac.cn/handle/1471x/67593
Fonte	倪彬; 冯玉琳; 黄涛.基于T3BDD的动态模型检查S,软件学报,1999,10(10):
Palavras-Chave	#组件 #JavaBeans #形式规范 #符号化 #模型检查 #二叉判定图
Tipo	期刊论文