مجله علمی تفریحی بیبیس
0

دانلود کتاب چهاردهمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا

  • عنوان مجله: NASA Formal Methods 14th International Symposium, NFM 2022
  • نویسنده: Jyotirmoy V. Deshmukh, Klaus Havelund
  • حوزه: ناسا
  • سال انتشار: 2022
  • تعداد صفحه: 846
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 29.52 مگابایت

سمپوزیوم روش‌های رسمی ناسا (NFM) انجمنی برای تقویت همکاری بین نظریه‌پردازان و متخصصان ناسا، دانشگاه‌ها و صنعت است، با هدف شناسایی چالش‌ها و ارائه راه‌حل‌هایی برای دستیابی به اطمینان در سیستم‌های حیاتی و ایمنی. سمپوزیوم روش‌های رسمی ناسا از ارسال‌ها در مورد رویکردهای مقطعی که روش‌ها و تکنیک‌های رسمی از حوزه‌های دیگر را گرد هم می‌آورند استقبال می‌کند.

The NASA Formal Methods (NFM) Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions to achieve assurance in mission-critical and safety-critical systems. The NASA Formal Methods Symposia welcome submissions on cross-cutting approaches that bring together formal methods and techniques from other domains.

این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:

Download: NASA Formal Methods 14th International Symposium

بیبیس برچسب‌ها:

نظرات کاربران

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید