مجله ی مهندسی مکانیک شریف

مجله ی مهندسی مکانیک شریف

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

-

-