دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
دانلود کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: ششمین کارگاه بین المللی ، FTSCS 2018 ، گلد کوست ، استرالیا ، 16 نوامبر 2018 ، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ویرایش: 1st ed.
نویسندگان: Cyrille Artho. Peter Csaba Ölveczky
سری: Communications in Computer and Information Science 1008
ISBN (شابک) : 9783030129873, 9783030129880
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 183
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: ششمین کارگاه بین المللی ، FTSCS 2018 ، گلد کوست ، استرالیا ، 16 نوامبر 2018 ، مقالات منتخب تجدید نظر شده: علوم کامپیوتر، منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: ششمین کارگاه بین المللی ، FTSCS 2018 ، گلد کوست ، استرالیا ، 16 نوامبر 2018 ، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: ششمین کارگاه بین المللی ، FTSCS 2018 ، گلد کوست ، استرالیا ، 16 نوامبر 2018 ، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات داوری ششمین کارگاه بین‌المللی
تکنیک‌های رسمی برای سیستم‌های حیاتی ایمنی، FTSCS 2018 است که
در گلد کوست، استرالیا در نوامبر 2018 برگزار شد.
10 مقاله کامل اصلاح‌شده همراه با چکیده‌ای از یک سخنرانی دعوت
شده به دقت بررسی و از بین 22 مورد ارسالی انتخاب شد. مقالات در
بخش های موضوعی در مورد تجزیه و تحلیل و تأیید سیستم های ایمنی-
بحرانی سازماندهی شده اند. تجزیه و تحلیل سیستم های زمان بندی
شده؛ روش‌های معناشناسی و تحلیل، و تبدیل مدل.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th
International Workshop on Formal Techniques for
Safety-Critical Systems, FTSCS 2018, held in Gold Coast,
Australia in November 2018.
The 10 revised full papers presented together with an
abstract of an invited talk were carefully reviewed and
selected from 22 submissions. The papers are organized in
topical sections on analysis and verification of
Safety-Critical Systems; analysis of timed systems; semantics
and analysis methods, and model transformation.
فهرست مطالب
Front Matter ....Pages I-XII
Front Matter ....Pages 1-1
Formal Stability Analysis of Control Systems (Asad Ahmed, Osman Hasan, Falah Awwad)....Pages 3-17
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time (Maryam Kamali, Sven Linker, Michael Fisher)....Pages 18-36
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees (Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll)....Pages 37-54
Formal Verification of Random Forests in Safety-Critical Applications (John Törnblom, Simin Nadjm-Tehrani)....Pages 55-71
Front Matter ....Pages 73-73
A Benchmark Library for Parametric Timed Model Checking (Étienne André)....Pages 75-83
Formal Timing Analysis of Digital Circuits (Qurat Ul Ain, Osman Hasan)....Pages 84-100
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications (Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet)....Pages 101-118
Front Matter ....Pages 119-119
Refinement of Statecharts with Run-to-Completion Semantics (Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong, Michael Butler)....Pages 121-138
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking (Nils Timm, Stefan Gruner)....Pages 139-157
Front Matter ....Pages 159-159
Model Transformation with Triple Graph Grammars and Non-terminal Symbols (William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein)....Pages 161-177
Back Matter ....Pages 179-179
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Le Corbusier: the Chapel at Ronchamp
دانلود کتاب El mundo mediterráneo en la Edad Antigua I. Griegos y persas
دانلود کتاب The Politics of Pessimism in Ecclesiastes: A Social-Science Perspective
دانلود کتاب Das Unbewusste und die psychoanalytische Praxis Dealing with the Unconscious in Psychotherapeutic Practice
