کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4963628 | 1447011 | 2016 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles](/preview/png/4963628.png)
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Soft Computing - Volume 49, December 2016, Pages 1185-1201
Journal: Applied Soft Computing - Volume 49, December 2016, Pages 1185-1201
نویسندگان
Einollah Pira, Vahid Rafe, Amin Nikanjam,