دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
دانلود کتاب ایمنی و ارزیابی مبتنی بر مدل: چهارمین سمپوزیوم بین المللی ، IMBSA 2014 ، مونیخ ، آلمان ، 27 تا 29 اکتبر 2014. مجموعه مقالات
مشخصات کتاب
Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
ویرایش: 1
نویسندگان: Frank Ortmeier. Antoine Rauzy (eds.)
سری: Lecture Notes in Computer Science 8822 Programming and Software Engineering
ISBN (شابک) : 9783319122137, 9783319122144
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 217
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب ایمنی و ارزیابی مبتنی بر مدل: چهارمین سمپوزیوم بین المللی ، IMBSA 2014 ، مونیخ ، آلمان ، 27 تا 29 اکتبر 2014. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی و ارزیابی مبتنی بر مدل: چهارمین سمپوزیوم بین المللی ، IMBSA 2014 ، مونیخ ، آلمان ، 27 تا 29 اکتبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی و ارزیابی مبتنی بر مدل: چهارمین سمپوزیوم بین المللی ، IMBSA 2014 ، مونیخ ، آلمان ، 27 تا 29 اکتبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین سمپوزیوم بین‌المللی ایمنی و ارزیابی مبتنی بر مدل، IMBSA 2014، که در مونیخ، آلمان، در اکتبر 2014 برگزار شد، تشکیل می‌شود. ارسالی های متعدد مقالات در بخش‌های موضوعی در مورد الگوهای مدل‌سازی، اعتبارسنجی و آزمایش، تشخیص و مدیریت خطا، ارزیابی ایمنی در حوزه خودرو، و مطالعات موردی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th
International Symposium on Model-Based Safety and Assessment,
IMBSA 2014, held in Munich, Germany, in October 2014.
The 15 revised full papers presented were carefully reviewed
and selected from numerous submissions. The papers are
organized in topical sections on modeling paradigms,
validation and testing, fault detection and handling, safety
assessment in the automotive domain, and case studies.
فهرست مطالب
Front Matter....Pages -
A Practicable MBSA Modeling Process Using Altarica....Pages 1-13
On Efficiently Specifying Models for Model Checking....Pages 14-27
A Model-Based Methodology to Formalize Specifications of Railway Systems....Pages 28-42
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems....Pages 43-56
Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures....Pages 57-69
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels....Pages 70-81
An Integrated Process for FDIR Design in Aerospace....Pages 82-95
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks....Pages 96-109
metaFMEA-A Framework for Reusable FMEAs....Pages 110-122
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms....Pages 123-136
A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain....Pages 137-151
Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor....Pages 152-165
Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System....Pages 166-180
Safety Assessment of an Electrical System with AltaRica 3.0....Pages 181-194
Applying Formal Methods into Safety-Critical Health Applications....Pages 195-208
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Future of Knowledge Management
دانلود کتاب The Rough Guide to the Brain 1 (Rough Guide Reference)
دانلود کتاب Accounting Principles for Lawyers (Law Practitioner Series)
دانلود کتاب Vocabulaire progressif du français : Niveau intermédiaire
