%0 Conference Proceedings
%T بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن
%A یوسفی, جواد
%A  صداقت, یاسر
%J دومین کنفرانس ملی اویونیک ایران
%D 2015