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