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