@inproceedings{paperid:1047311,
author = {رضائی, محمّدرضا and صداقت, یاسر},
title = {طراحی روشی برای افزودن امکان تشخیص خطا در رأی‌گیرنده‌های  نرم‌افزاری برای سیستم‌های نهفته بحرانی-ایمن},
booktitle = {دومین کنفرانس ملی اویونیک ایران},
year = {2015},
location = {اصفهان, ايران},
keywords = {پوشش اشکال، برنامه‌نویسی چندنسخه‌ای، رأی‌گیرنده‌ی نرم‌افزاری، سیستم‌های بحرانی-ایمن},
}