ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ
/ محمدجواد ايزدي نجف آبادي
ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ
Edition 1
list
شناسنامه
Main Entry
ايزدي نجف آبادي، محمدجواد، نویسندهTitle and Author
ارائه يك مدل مبتني بر بازيگر براي مدلسازي و درستي يابي سيستم هاي بي درنگ / / محمدجواد ايزدي نجف آباديPhysical Description
د، [76]ص.؛ : تصوير، نمودار، جدول.Subject
مدل بازيگردرستييابي صوري
وارسي مدل
سيستمهاي بيدرنگ
خودكاره? زمانمند
ابزار درستييابِ يوپال
Language
فارسی