دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
دانلود کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: چهارمین کارگاه بین المللی ، FTSCS 2015 ، پاریس ، فرانسه ، 6-7 نوامبر 2015. مقالات اصلاح شده
مشخصات کتاب
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ویرایش: 1
نویسندگان: Cyrille Artho. Peter Csaba Ölveczky (eds.)
سری: Communications in Computer and Information Science 596
ISBN (شابک) : 9783319295091, 9783319295107
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 272
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: چهارمین کارگاه بین المللی ، FTSCS 2015 ، پاریس ، فرانسه ، 6-7 نوامبر 2015. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: چهارمین کارگاه بین المللی ، FTSCS 2015 ، پاریس ، فرانسه ، 6-7 نوامبر 2015. مقالات اصلاح شده
این کتاب مجموعه مقالات داوری چهارمین کارگاه بین‌المللی
تکنیک‌های رسمی برای سیستم‌های حیاتی ایمنی، FTSCS 2015 است که
در نوامبر 2015 در پاریس، فرانسه برگزار شد.
15 مقاله کامل اصلاح‌شده همراه با یک سخنرانی دعوت‌شده ارائه
شده است. و دو مقاله ابزار به دقت بررسی و از بین 41 مورد
ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد سیستم
های زمان بندی شده سازماندهی شده اند. سیستم های راه آهن؛ تحمل
خطا؛ سیستم های خودرو؛ تجزیه و تحلیل نرم افزار و سیستم؛ ابزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th
International Workshop on Formal Techniques for
Safety-Critical Systems, FTSCS 2015, held in Paris, France,
in November 2015.
The 15 revised full papers presented together with one
invited talk and two tool papers were carefully reviewed and
selected from 41 submissions. The papers are organized in
topical sections on timed systems; railway systems; fault
tolerance; automotive systems; software and systems analysis;
tools.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Variant-Based Satisfiability in Initial Algebras....Pages 3-34
Front Matter....Pages 35-35
An Executable Semantics of Clock Constraint Specification Language and Its Applications....Pages 37-51
What’s Decidable About Parametric Timed Automata?....Pages 52-68
Compositional Predictability Analysis of Mixed Critical Real Time Systems....Pages 69-84
Front Matter....Pages 85-85
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge....Pages 87-102
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude....Pages 103-120
Modeling Railway Control Systems in Promela....Pages 121-136
Front Matter....Pages 137-137
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems....Pages 139-154
Probabilistic Analysis of a Calculus for Wireless Sensor Networks....Pages 155-171
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties....Pages 172-186
Front Matter....Pages 187-187
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications....Pages 189-205
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns....Pages 206-221
Front Matter....Pages 223-223
An Approach to Static-Dynamic Software Analysis....Pages 225-240
Towards Verifying VDM Using SPIN....Pages 241-256
Front Matter....Pages 257-257
Statistical Model Checking of Simulink Models with Plasma Lab....Pages 259-264
g-HOL: A Graphical User Interface for the HOL Proof Assistant....Pages 265-269
Back Matter....Pages 271-271
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Community-Acquired Pneumonia
دانلود کتاب Autonomes Laufen
دانلود کتاب Ästhetik des Nihilismus: Von der Romantik zum Modernismus
دانلود کتاب The Making of the Modern World: Visions from the West and East
