شماره ركورد كنفرانس :
2716
عنوان مقاله :
وارسي و اعتبارسنجي خودكار نمودارهاي فعاليت زبان مدل سازي يكنواخت
پديدآورندگان :
عزيزي سميه نويسنده , محبي كيوان نويسنده
كليدواژه :
روشهاي صوري , دياگرام فعاليت , اعتبارسنجي
عنوان كنفرانس :
مجموعه مقالات كنفرانس بين المللي پژوهش هاي كاربردي در فناوري كامپيوتر و مخابرات
شماره مدرك كنفرانس :
4146368
