توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی

نوع مقاله : پژوهشی

نویسندگان

• سید مرتضی بابامیر
• سعید جلیلی

دانشکده‌ فنی و مهندسی - گروه کامپیوتر - دانشگاه تربیت مدرس

چکیده

کلیدواژه‌ها

• -

عنوان مقاله [English]

EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE

نویسندگان [English]

• S.M. Babamiri
• S. Jalili

چکیده [English]

کلیدواژه‌ها [English]

• -