شماره راهنما :
۳۸۵۱،۶۰۵،الف ر
پديد آورنده :
چواني ، محمد
عنوان :
روشي براي راستي آزمايي رسمي 5 خصيصه بن بست ، قفل زنده عدم دسترس پذيري، عدم قطعيت و شكست واگرايي در نمودار حالت UML با استفاده از زبان هاي رسمي LOTOS و CSP
رشته تحصيلي :
مهندسي كامپيوتر
محل تحصيل :
دانشكده مهندسي دانشگاه كاشان ,
شناسه هاي افزوده :
پ استاد راهنما بابامير، مرتضي , پ داور گلي ، سلمان , پ داور باقري، ايوب
شناسه هاي افزوده - جزئيات :
تاريخ نمايه سازي :
1395/12/18
استاد راهنما :
مرتضي بابامير
