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