فیلتر نتایج
مقاله ژورنالی
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL۲ PROTOTYPE
نویسندگان: Behnaz Changizi، Seyyed Hassan Mirian Hossinabadi
سال انتشار 1388
محل انتشار: مجله بین المللی ارتباطات و فناوری اطلاعات شماره 2، دوره 1
تعداد صفحات: 7 | زبان: انگلیسی
مقاله کنفرانسی
A Refinement Approach for Developing Probabilistic Programs
نویسندگان: Hassan Haghighi، Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1388
محل انتشار: چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران
تعداد صفحات: 6 | زبان: انگلیسی
مقاله کنفرانسی
Formal Development of Two Player Games: A Constructive Approach
نویسندگان: Hassan Haghighi، Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1385
محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات: 8 | زبان: انگلیسی