مرکز منطقه ای اطلاع رساني علوم و فناوري - روش هاي صوري در توصيف سيستم هاي هم روند

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

2727

عنوان مقاله :

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

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

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

تعداد صفحه :

14

كليدواژه :

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

سال انتشار :

1395

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

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

زبان مدرك :

فارسی

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

4240260

سال انتشار :

1395

از صفحه :

1

تا صفحه :

14

سال انتشار :

1395

لينک به اين مدرک :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=36&DC=64196

بازگشت