وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه
/ محمد حاتمي رشيدي
وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه
المؤلف
/ محمد حاتمي رشيديطبع 1
قائمة
شناسنامه
المدخل الرئيسي
حاتمي رشيدي، محمد، نویسندهالعنوان واسم المؤلف
وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه / / محمد حاتمي رشيديالمواصفات الشكلية
94 ص.؛ : تصوير، جدول.الموضوع
سيستم بلادرنگReal time system
منطق زماني
Temporal logic
*پروتكل فيشر
Fischer's protocol*
*حقيقت پژوهي
Verification(Sociology)*
نمودارها
Graphs
اللغة
فارسی