دانلود مقاله ISI انگلیسی شماره 93209
کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
93209 2018 25 صفحه PDF سفارش دهید 18397 کلمه
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Information and Software Technology, Volume 97, May 2018, Pages 110-134

پیش نمایش مقاله
پیش نمایش مقاله

چکیده انگلیسی

Experimental results on different set of benchmarks show that the proposed approaches are faster and more accurate in comparison with the existing meta-heuristic and evolutionary techniques in model checking of complex software systems specified through graph transformations.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.