با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
ردیف | عنوان | نوع |
---|---|---|
1 |
انتشار پیامهای امنیتی به خودروها و بررسی با استفاده از چک کردن مدل در VANETs
سال انتشار: 2020 - تعداد صفحات فایل pdf انگلیسی: 7 - تعداد صفحات فایل doc فارسی: 21 بررسی مدلی یکی از تکنیکهای تایید رسمی است که به طور گسترده برای تایید و اصلاح خطاهای طراحی پروتکلهای ارتباطی استفاده میشود . بررسی مدل از الگوریتمها برای تایید درستی سیستم استفاده میکند . این مقاله یک توصیف کامل از روششناسی تایید پروتکلهای ارتباطی vanet با استفاده از جستجوگر مدل SPIN ارائه میکند . اکثر پروتکلهای ارتباطی vanet از واحدهای طرف جاده برای انتقال اطلاعات مربوط به ایمنی / ترافیک مربوط به وسایل نقلیه دور استفاده میکنند . این سیستم پیشنهادی یک سیستم تایید برای بررسی خطاهای طراحی و طراحی پروتکلهای ارتباطی vanet با استفاده از کنترلکننده مدل ارائه میکند . در نهایت , نتایج شبیهسازی و تایید ارائه میشوند .
. واژهای کاربردی: پروتکل ارتباطی | واحدهای طرف جاده | تایید رسمی | کنترلکننده مدل SPIN | اطلاعات ایمن |
مقاله ترجمه شده |