التحقق من الأنظمة متعددة الوكلاء

التركيبية

مبدأ يمكن بموجبه استنتاج الخصائص الكلية لنظام الوكلاء المتعددين من خصائص مكوناته الفردية. يسهل التحقق المعياري (modular verification) لأنظمة الوكلاء المتعددين المعقدة.

← رجوع