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