وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني
/ فريد علاقمند
وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني
المؤلف
/ فريد علاقمندطبع 1
قائمة
شناسنامه
المدخل الرئيسي
علاقمند، فريد، نویسندهالعنوان واسم المؤلف
وارسي مبتني بر دياگرام سيستم هاي واكنشي تركيبي و پارامتريك با استفاده از منطق زماني / / فريد علاقمندالمواصفات الشكلية
106 ص.؛ : نمودار، جدول.الموضوع
منطق زمانيTemporal logic
*ايمني آزمايي
Safety test*
*سيستم هاي پارامتريك
Parametric systems*
*نظريه ماشين هاي خودكار
Automata theory*
سيستم هاي واكنشي
Reactive systems
الگوريتم ها
Algorithms
اللغة
فارسی