نام پژوهشگر: فرید علاقمند

وارسی مبتنی بر دیاگرام سیستم های واکنشی ترکیبی و پارامتریک با استفاده از منطق زمانی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1387
  فرید علاقمند   علی معینی

چکیده ندارد.

۱۵ صفحه ی اول