صحتسنجي زمان اجراي خصوصيتهاي LTL در سيستمهاي توزيعشده
/ محمدعلي درستي مطلق
صحتسنجي زمان اجراي خصوصيتهاي LTL در سيستمهاي توزيعشده
نویسنده
/ محمدعلي درستي مطلقنسخه 1
فهرست
شناسنامه
سرشناسه
درستي مطلق، محمدعلي، نویسندهعنوان و نام پدیدآور
صحتسنجي زمان اجراي خصوصيتهاي LTL در سيستمهاي توزيعشده / / محمدعلي درستي مطلقمشخصات ظاهری
ث،54ص.؛ : تصوير، جدول.موضوع
صحتسنجي زمان اجراسيستم توزيعشدهي ناهمگام
ساعت سراسري
نظارت
خودكار
زبان
فارسی