Title of article :
Detection of dynamic execution errors in IBM system automationʹs rule-based expert system
Author/Authors :
Carsten Sinz، نويسنده , , Thomas Lumpp، نويسنده , , Jürgen Schneider، نويسنده , , Wolfgang Küchlin، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Pages :
17
From page :
857
To page :
873
Keywords :
IBM system automation , SAT checking , validation , Verification , expert systems , Propositional dynamic logic , formal methods
Journal title :
Information and Software Technology
Serial Year :
2002
Journal title :
Information and Software Technology
Record number :
134916
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134916
بازگشت