Title of article
Model-based verification of knowledge-based systems: a case study
Author/Authors
Marcos ، نويسنده , , M.; del Pobil، نويسنده , , A.P.; Moisan، نويسنده , , S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
5
From page
163
To page
167
Journal title
IEE Proceedings Software
Serial Year
2000
Journal title
IEE Proceedings Software
Record number
351884
Link To Document