فیلتر نتایج
مقاله ژورنالی
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL۲ PROTOTYPE
نویسندگان: Behnaz Changizi، Seyyed Hassan Mirian Hossinabadi
سال انتشار 1388
محل انتشار: مجله بین المللی ارتباطات و فناوری اطلاعات شماره 2، دوره 1
تعداد صفحات: 7 | زبان: انگلیسی
مقاله کنفرانسی
از توصیف به زبان Z تا برنامه نمونه
نویسندگان: بهناز چنگیزی، سیدحسن میریان حسین آبادی
سال انتشار 1386
محل انتشار: پانزدهیمن کنفرانس مهندسی برق ایران
تعداد صفحات: 7 | زبان: فارسی