Runtime verification of programs using rule-based active system

Publish Year: 1391

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

زبان: English

This Paper With 19 Page And PDF Format Ready To Download

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

لینک ثابت به این Paper:

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

JR_KJMMRC-1-1_007

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

Keywords:

Authors

University of Khashan

SCHOOL OF MATHEMATICAL SCIENCES UNIVERSITI SIANS MALAYSI, PENANG, MALAYSIA

Ferdowsi University