دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Cyrille Artho. Peter Csaba Ölveczky (eds.)
سری: Communications in Computer and Information Science 476
ISBN (شابک) : 9783319175805, 9783319175812
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 266
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 مگابایت
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: کارگاه سوم بین المللی ، FTSCS 2014 ، لوکزامبورگ ، 6-7 نوامبر 2014. مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های انتقادی ایمنی: کارگاه سوم بین المللی ، FTSCS 2014 ، لوکزامبورگ ، 6-7 نوامبر 2014. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری سومین کارگاه بینالمللی تکنیکهای رسمی برای سیستمهای حیاتی ایمنی، FTSCS 2014، برگزار شده در لوکزامبورگ، در نوامبر 2014 است. از 40 ارسال این مقالات به موضوعات مختلف مرتبط با استفاده از روشهای رسمی و نیمه رسمی برای بهبود کیفیت سیستمهای رایانهای حیاتی برای ایمنی میپردازند.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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
Experience with Rule-Based Analysis of Spacecraft Logs....Pages 1-16
Safety, Dependability and Performance Analysis of Aerospace Systems....Pages 17-31
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv....Pages 32-46
Expression-Based Aliasing for OO–languages....Pages 47-61
Checking Integral Real-Time Automata for Extended Linear Duration Invariants....Pages 62-75
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols....Pages 76-92
Dynamic State Machines for Formalizing Railway Control System Specifications....Pages 93-109
Checking the Conformance of a Promela Design to its Formal Specification in Event-B....Pages 110-126
A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering....Pages 127-141
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems....Pages 142-158
Key-Secrecy of PACE with OTS/CafeOBJ....Pages 159-173
Coalgebraic Semantic Model for the Clock Constraint Specification Language....Pages 174-188
Analyzing Industrial Architectural Models by Simulation and Model-Checking....Pages 189-205
Specifying and Verifying Concurrent C Programs with TLA+....Pages 206-222
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release....Pages 223-238
A Spin-Based Approach for Checking OSEK/VDX Applications....Pages 239-255
Back Matter....Pages 257-257