مقالات کنفرانسهای داخلیمروری بر کاربرد درستی یابی در سیستم های سایبر فیزیکی ارائه شده در چهارمین کنفرانس ملی فناوریهای نوین در مهندسی برق و کامپیوتر (1400)