Runtime verification of programs using rule-based active system

سال انتشار: 1391

نوع سند: مقاله ژورنالی

زبان: انگلیسی

مشاهده: 303

فایل این مقاله در 19 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_KJMMRC-1-1_007

تاریخ نمایه سازی: 5 خرداد 1398

کلیدواژه ها:

نویسندگان

University of Khashan

SCHOOL OF MATHEMATICAL SCIENCES UNIVERSITI SIANS MALAYSI, PENANG, MALAYSIA

Ferdowsi University