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