چواني ، محمد

عنوان

روشي براي راستي آزمايي رسمي 5 خصيصه بن بست ، قفل زنده عدم دسترس پذيري، عدم قطعيت و شكست واگرايي در نمودار حالت UML با استفاده از زبان هاي رسمي LOTOS و CSP

مقطع تحصيلي

ارشد

رشته تحصيلي

مهندسي كامپيوتر

محل تحصيل

دانشكده مهندسي دانشگاه كاشان ,

سال تحصيل

1395

مشخصات ظاهري

145 ص .

كتابنامه

شناسه هاي افزوده

پ استاد راهنما بابامير، مرتضي , پ داور گلي ، سلمان , پ داور باقري، ايوب

نويسنده

محمد جواني

تاريخ نمايه سازي

1395/12/18

شماره مدرك

3851پ

اطلاعات ثبت

استاد راهنما

مرتضي بابامير

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