دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
دانلود کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: پنجمین کارگاه بین المللی ، FTSCS 2016 ، توکیو ، ژاپن ، 14 نوامبر 2016 ، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ویرایش: 1
نویسندگان: Cyrille Artho. Peter Csaba Ölveczky (eds.)
سری: Communications in Computer and Information Science 694
ISBN (شابک) : 9783319539454, 9783319539461
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 166
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 36,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: پنجمین کارگاه بین المللی ، FTSCS 2016 ، توکیو ، ژاپن ، 14 نوامبر 2016 ، مقالات منتخب تجدید نظر شده: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، شبیه‌سازی و مدل‌سازی، محاسبات با دستگاه‌های انتزاعی
در صورت تبدیل فایل کتاب Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: پنجمین کارگاه بین المللی ، FTSCS 2016 ، توکیو ، ژاپن ، 14 نوامبر 2016 ، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: پنجمین کارگاه بین المللی ، FTSCS 2016 ، توکیو ، ژاپن ، 14 نوامبر 2016 ، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات داوری پنجمین کارگاه بین‌المللی
تکنیک‌های رسمی برای سیستم‌های حیاتی ایمنی، FTSCS 2016 است که
در نوامبر 2016 در توکیو، ژاپن برگزار شد.
9 مقاله کامل اصلاح‌شده همراه با چکیده‌ای از یک سخنرانی دعوت
شده به دقت بررسی و از بین 23 مورد ارسالی انتخاب شد. مقالات در
بخش های موضوعی در مورد مشخصات و تأیید سازماندهی شده اند.
سیستم های خودرو و راه آهن؛ مدارها و سیستم های فیزیکی-سایبری؛
تأیید پارامتری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Workshop on Formal Techniques for
Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in
November 2016.
The 9 revised full papers presented together with an abstract
of an invited talk were carefully reviewed and selected from
23 submissions. The papers are organized in topical sections
on specification and verification; automotive and railway
systems; circuits and cyber-physical systems; parametrized
verification.
فهرست مطالب
Front Matter....Pages I-XII
Front Matter....Pages 1-1
Specification and Verification of Synchronization with Condition Variables....Pages 3-19
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction....Pages 20-35
Front Matter....Pages 37-37
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT....Pages 39-54
Uniform Modeling of Railway Operations....Pages 55-71
Front Matter....Pages 73-73
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans....Pages 75-92
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications....Pages 93-108
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems....Pages 109-125
Front Matter....Pages 127-127
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems....Pages 129-144
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction....Pages 145-160
Back Matter....Pages 161-161
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Casting og Audition
دانلود کتاب Recent Trends in Theory of Physical Phenomena in High Magnetic Fields
دانلود کتاب Capital Flows and Crises
دانلود کتاب Arbeiten aus dem Neurologischen Institute an der Wiener Universität: Österr. Interakademisches Zentralinstitut für Hirnforschung
