@inproceedings{paperid:1047310,
author = {یوسفی, جواد and صداقت, یاسر},
title = {بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن},
booktitle = {دومین کنفرانس ملی اویونیک ایران},
year = {2015},
location = {اصفهان, ايران},
keywords = {سیستم‌های بحرانی-ایمن، تحمل‌پذیری اشکال، اشکال‌های گذرا، وارسی روند کنترلی},
}