Model-based verification of knowledge-based systems: A case study

被引：2

作者：

Marcos, M. ^{[1
]}

del Pobil, A.P. ^{[1
]}

Moisan, S. ^{[1
]}

机构：

[1] Universitat Jaume I., Castellon, Spain

来源：

IEE Proceedings: Software | 2000年 / 147卷 / 05期

关键词：

D O I：

10.1049/ip-sen:20000896

中图分类号：

学科分类号：

摘要：

16

引用

收藏

页码：163 / 168

相关论文

empty

未找到相关数据