%0 Conference Proceedings
%T طراحی روشی برای افزودن امکان تشخیص خطا در رأی‌گیرنده‌های  نرم‌افزاری برای سیستم‌های نهفته بحرانی-ایمن
%A رضائی, محمّدرضا
%A  صداقت, یاسر
%J دومین کنفرانس ملی اویونیک ایران
%D 2015