شماره ركورد كنفرانس

2727

عنوان مقاله

روش هاي صوري در توصيف سيستم هاي هم روند

پديدآورندگان

لكزائي بتول نويسنده

تعداد صفحه

14

كليدواژه

توصيف صوري , سيستم هاي هم روند , روش هاي صوري

سال انتشار

1395

عنوان كنفرانس

اولين كنفرانس بين المللي دستاوردهاي نوين پژوهشي در مهندسي برق و كامپيوتر

زبان مدرك

فارسی

شماره مدرك كنفرانس

4240260

سال انتشار

1395

از صفحه

1

تا صفحه

14

سال انتشار

1395