مرکز منطقه ای اطلاع رساني علوم و فناوري - A tool-supported approach to inter-tabular verification

Title of article :

A tool-supported approach to inter-tabular verification

Author/Authors :

J. Vanthienen، نويسنده , , C. Mues، نويسنده , , G. Wets، نويسنده , , K. Delaere، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

277

To page :

285

Keywords :

Decision tables , Modular KBS , V & V

Journal title :

Expert Systems with Applications

Serial Year :

1998

Journal title :

Expert Systems with Applications

Record number :

197696

Link To Document :