دانلود و نمایش مقالات مرتبط با SPIN model checker::صفحه 1
دانلود بهترین مقالات isi همراه با ترجمه فارسی 2

با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد). 

نتیجه جستجو - SPIN model checker

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