کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4963628 1447011 2016 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله 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
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Soft Computing - Volume 49, December 2016, Pages 1185-1201
نویسندگان
, , ,