دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Safety and Security: Case Studies for Aerospace Applications
دانلود کتاب روشهای رسمی برای ایمنی و امنیت: مطالعات موردی برای کاربردهای هوافضا
مشخصات کتاب
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
ویرایش: 1
نویسندگان: Manju Nanda.Yogananda Jeppu (eds.)
سری:
ISBN (شابک) : 9789811041204, 9789811041211
ناشر: Springer Singapore
سال نشر: 2018
تعداد صفحات: 138
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب روشهای رسمی برای ایمنی و امنیت: مطالعات موردی برای کاربردهای هوافضا: فناوری هوافضا و فضانوردی
در صورت تبدیل فایل کتاب Formal Methods for Safety and Security: Case Studies for Aerospace Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای ایمنی و امنیت: مطالعات موردی برای کاربردهای هوافضا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی برای ایمنی و امنیت: مطالعات موردی برای کاربردهای هوافضا
این جلد نتیجه بحث در مورد روشهای رسمی در هوافضا است. این کتاب
به طور خاص به استفاده از روشهای رسمی برای تأیید، اعتبارسنجی
و بهینه‌سازی نرم‌افزار در برنامه‌های کاربردی حیاتی و حیاتی
ایمنی، مانند مواردی که در مهندسی هوافضا است، می‌پردازد. فصل
های این کتاب توسط دانشمندان برجسته تحقیق و توسعه شرکت ها و
دولتی نوشته شده است. مطالب این کتاب برای محققان و متخصصان
مفید خواهد بود.
توضیحاتی درمورد کتاب به خارجی
This volume is the outcome of deliberations on formal methods
in aerospace. The book specially delves into the use of
formal methods for verification, validation, and optimization
of software in safety critical and time critical
applications, such as those in aerospace engineering. The
chapters in this book are authored by leading corporate and
government R&D scientists. The contents of this book will be
useful to researchers and professionals alike.
فهرست مطالب
Front Matter ....Pages i-xii
Formal Methods—A Need for Practical Applications (Manju Nanda, J. Jayanthi, Yogananda Jeppu)....Pages 1-12
Formal Methods and Tools for Safety of Critical Systems (K. S. Kushal, Manju Nanda, J. Jayanthi)....Pages 13-21
Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries (Manupriya Srivastava, T. Rajani, S. N. Anitha Kumari, Chitra Viswanathan, Subrata Rakshit)....Pages 23-39
Dynamic Constrained Objects for Vehicular Network Modeling (Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan)....Pages 41-52
Adoption of Formal Methods in Software Safety Analysis (Ankita Srivastava, S. K. Goswami)....Pages 53-57
Model-Based Safety Validation for Embedded Real-Time Systems (Gracy Philip, Meenakshi D’Souza)....Pages 59-71
Arguing Formally About Flight Control Laws Using SLDV and NuSMV (Natasha Jeppu, Yogananda Jeppu)....Pages 73-84
Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects (Krishnamani Kalyan)....Pages 85-96
Design Fault Identification in MBD for Safety Critical Systems (Benkmann Ruben, Gourish Kumbar, S. Mouneshwar)....Pages 97-102
Formal Methods Workflow for Model-Based Development (Gaurav Dubey, Manoj G. Dixit)....Pages 103-111
Race That Never Ends! (B. M. Parinitha, Manupriya Srivastava, Chitra Viswanathan)....Pages 113-130
Back Matter ....Pages 131-132
نظرات کاربران
کتاب های تصادفی
دانلود کتاب X-ray Detectors in Astronomy
دانلود کتاب Amazon FBA: How to Easily Make Extra Money Selling on Amazon Using Fulfillment by Amazon
دانلود کتاب Сергей Вавилов
دانلود کتاب Baby bowl: home-cooked meals for happy, healthy babies and toddlers
