Title of article :
Detecting anomalies in constraint-based systems
Author/Authors :
Linda M. Flannery، نويسنده , , Avelino J. Gonzalez، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Keywords :
constraintsatisfaction problem , Verification , Software verification , automated verification , constraint-directed reasoning , constraint-based systems
Journal title :
Engineering Applications of Artificial Intelligence
Journal title :
Engineering Applications of Artificial Intelligence
