دانشگاه شهید باهنر کرمان

 آمار

تعداد نشریات26
تعداد شماره‌ها447
تعداد مقالات4,557
تعداد مشاهده مقاله5,380,001
تعداد دریافت فایل اصل مقاله3,580,066
Babamir, Seyed Morteza. (1390). Runtime verification of programs using rule-based active system. , 1(1), 77-95. doi: 10.22103/jmmrc.2012.357
Seyed Morteza Babamir. "Runtime verification of programs using rule-based active system". , 1, 1, 1390, 77-95. doi: 10.22103/jmmrc.2012.357
Babamir, Seyed Morteza. (1390). 'Runtime verification of programs using rule-based active system', , 1(1), pp. 77-95. doi: 10.22103/jmmrc.2012.357
Babamir, Seyed Morteza. Runtime verification of programs using rule-based active system. , 1390; 1(1): 77-95. doi: 10.22103/jmmrc.2012.357

Runtime verification of programs using rule-based active system

Journal of Mahani Mathematical Research
مقاله 7، دوره 1، شماره 1، بهمن 2012، صفحه 77-95    اصل مقاله (8.14 M)
نوع مقاله: Research Paper
شناسه دیجیتال (DOI): 10.22103/jmmrc.2012.357
نویسنده
Seyed Morteza Babamir*
University of Khashan
کلیدواژه‌ها
run-time verification؛ ECA rule؛ active database؛ aspect-oriented
آمار
تعداد مشاهده مقاله: 1,772
تعداد دریافت فایل اصل مقاله: 1,411


سامانه مدیریت نشریات علمی. طراحی و پیاده سازی از سیناوب