وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه
/ محمد حاتمي رشيدي
وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه
Author
/ محمد حاتمي رشيديEdition 1
list
شناسنامه
Main Entry
حاتمي رشيدي، محمد، نویسندهTitle and Author
وارسي سيستم هاي واكنشي بلادرنگ با استفاده از منطق زماني مبتني بر دياگرام مورد مطالعه / / محمد حاتمي رشيديPhysical Description
94 ص.؛ : تصوير، جدول.Subject
سيستم بلادرنگReal time system
منطق زماني
Temporal logic
*پروتكل فيشر
Fischer's protocol*
*حقيقت پژوهي
Verification(Sociology)*
نمودارها
Graphs
Language
فارسی