فهرست مقالات Safety analysis دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری عین الله پیرا
