دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
دانلود کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: دومین کارگاه بین المللی ، FTSCS 2013 ، کویینستاون ، نیوزیلند ، 29 - 30 اکتبر 2013. برگه های اصلاح شده
مشخصات کتاب
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
ویرایش: 1
نویسندگان: Cyrille Artho. Peter Csaba Ölveczky (eds.)
سری: Communications in Computer and Information Science 419
ISBN (شابک) : 9783319054155, 9783319054162
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 307
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: دومین کارگاه بین المللی ، FTSCS 2013 ، کویینستاون ، نیوزیلند ، 29 - 30 اکتبر 2013. برگه های اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های بحرانی ایمنی: دومین کارگاه بین المللی ، FTSCS 2013 ، کویینستاون ، نیوزیلند ، 29 - 30 اکتبر 2013. برگه های اصلاح شده
این کتاب مجموعه مقالات داوری دومین کارگاه بین المللی، FTSCS 2013 است که در کوئینزتاون، نیوزلند، در اکتبر 2013 برگزار شد. 17 مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده به دقت بررسی و از بین 32 مورد ارسالی انتخاب شدند. این مقالات به موضوعات مختلف مرتبط با استفاده از روش‌های رسمی و نیمه رسمی برای بهبود کیفیت سیستم‌های رایانه‌ای حیاتی برای ایمنی می‌پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
فهرست مطالب
Front Matter....Pages I-X
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions....Pages 1-2
With an Open Mind: How to Write Good Models....Pages 3-18
Model-Based Testing from Controlled Natural Language Requirements....Pages 19-35
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol....Pages 36-53
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking....Pages 54-70
A Strand Space Approach to Provable Anonymity....Pages 71-87
Counterexample Generation for Hybrid Automata....Pages 88-106
TTM/PAT: Specifying and Verifying Timed Transition Models....Pages 107-124
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS....Pages 125-141
Reflections on Verifying Software with Whiley....Pages 142-159
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events....Pages 160-177
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude....Pages 178-194
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings....Pages 195-211
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems....Pages 212-228
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification....Pages 229-245
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling....Pages 246-261
Precise Documentation and Validation of Requirements....Pages 262-279
Certainly Unsupervisable States....Pages 280-296
Back Matter....Pages 297-297
نظرات کاربران
کتاب های تصادفی
دانلود کتاب THEORY AND PROBLEMS OF DIFFERENTIAL AND INTEGRAL CALCULUS
دانلود کتاب Depression For Dummies
دانلود کتاب Rice Field Ecology in Northeastern Thailand: The Effect of Wet and Dry Seasons on a Cultivated Aquatic Ecosystem
دانلود کتاب Reading and Fiction in Golden-Age Spain: A Platonist Critique and Some Picaresque Replies
