توصیف مبتنی بر رخداد (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]

  • -