ترجمه فارسی عنوان مقاله
TCTL-حفظ ترجمه از شبکه های پتری timed-arc به شبکه های اتوماسیون زمان
عنوان انگلیسی
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی | ترجمه فارسی |
---|---|---|---|
78594 | 2014 | 26 صفحه PDF | سفارش دهید |
دانلود فوری مقاله + سفارش ترجمه
نسخه انگلیسی مقاله همین الان قابل دانلود است.
هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.
این مقاله تقریباً شامل 21458 کلمه می باشد.
هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:
شرح | تعرفه ترجمه | زمان تحویل | جمع هزینه |
---|---|---|---|
ترجمه تخصصی - سرعت عادی | هر کلمه 90 تومان | 28 روز بعد از پرداخت | 1,931,220 تومان |
ترجمه تخصصی - سرعت فوری | هر کلمه 180 تومان | 14 روز بعد از پرداخت | 3,862,440 تومان |
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Theoretical Computer Science, Volume 537, 5 June 2014, Pages 3–28
ترجمه کلمات کلیدی
تأیید رسمی؛ TCTL؛ شبکه های پتری Timed-arc؛ اتوماسیون زمان
کلمات کلیدی انگلیسی
Formal verification; TCTL; Timed-arc Petri nets; Timed automata