ترجمه فارسی عنوان مقاله
تشخیص برابری سطح حالت سیستم برای تایید پویا رسمی برنامه های توزیع شده میراث
عنوان انگلیسی
System-level state equality detection for the formal dynamic verification of legacy distributed applications
| کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
|---|---|---|
| 124830 | 2018 | 11 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Journal of Logical and Algebraic Methods in Programming, Volume 96, April 2018, Pages 1-11
پیش نمایش مقاله
