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