ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ
/ محمدجواد ايزدي نجف آبادي
ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ
طبع 1
قائمة
شناسنامه
المدخل الرئيسي
ايزدي نجف آبادي، محمدجواد، نویسندهالعنوان واسم المؤلف
ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ / / محمدجواد ايزدي نجف آباديالمواصفات الشكلية
د، [76]ص.؛ : تصوير، نمودار، جدول.الموضوع
مدل بازيگردرستييابي صوري
وارسي مدل
سيستمهاي بيدرنگ
خودكاره? زمانمند
ابزار درستييابِ يوپال
اللغة
فارسی