دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Frédéric Lang. Francesco Flammini (eds.)
سری: Lecture Notes in Computer Science 8718 Programming and Software Engineering
ISBN (شابک) : 9783319107011, 9783319107028
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 213
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های انتقادی صنعتی: نوزدهمین کنفرانس بین المللی ، FMICS 2014 ، فلورانس ، ایتالیا ، 11-12 سپتامبر 2014. مجموعه مقالات: زبانهای برنامهنویسی، کامپایلرها، مترجمان، منطق و معانی برنامهها، مهندسی نرمافزار، سیستمهای مبتنی بر هدف خاص و برنامههای کاربردی
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های انتقادی صنعتی: نوزدهمین کنفرانس بین المللی ، FMICS 2014 ، فلورانس ، ایتالیا ، 11-12 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات نوزدهمین کنفرانس بینالمللی روشهای رسمی برای سیستمهای بحرانی صنعتی، FMICS 2014 است که در فلورانس، ایتالیا، در سپتامبر 2014 برگزار شد. آنها در بخش های موضوعی به نام های: سیستم های فیزیکی-سایبری سازماندهی شده اند. شبکه های کامپیوتر؛ سیستم های کنترل راه آهن؛ روش های تأیید؛ و تست سخت افزار و نرم افزار.
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
Front Matter....Pages -
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems....Pages 1-15
Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface....Pages 16-32
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System....Pages 33-47
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip....Pages 48-62
Formal Specification and Verification of TCP Extended with the Window Scale Option....Pages 63-77
Learning Fragments of the TCP Network Protocol....Pages 78-93
On the Validation of an Interlocking System by Model-Checking....Pages 94-108
Deadlock Avoidance in Train Scheduling: A Model Checking Approach....Pages 109-123
An Open Alternative for SMT-Based Verification of Scade Models....Pages 124-139
Improving Static Analyses of C Programs with Conditional Predicates....Pages 140-154
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements....Pages 155-169
Test Specification Patterns for Automatic Generation of Test Sequences....Pages 170-184
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation....Pages 185-199
Back Matter....Pages -