دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Manuel Núñez. Matthias Güdemann (eds.)
سری: Lecture Notes in Computer Science 9128
ISBN (شابک) : 9783319194578, 9783319194585
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 220
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های انتقادی صنعتی: بیستمین کارگاه بین المللی ، FMICS 2015 اسلو ، نروژ ، 23-23 ژوئن ، مجموعه مقالات: زبانهای برنامهنویسی، کامپایلرها، مترجمان، منطقها و معانی برنامهها، مهندسی نرمافزار، سیستمهای مبتنی بر هدف خاص و کاربردی، منطق ریاضی و زبانهای رسمی
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های انتقادی صنعتی: بیستمین کارگاه بین المللی ، FMICS 2015 اسلو ، نروژ ، 23-23 ژوئن ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات بیستمین کارگاه بین المللی روش های رسمی برای سیستم های بحرانی صنعتی، FMICS 2015، اسلو، نروژ، در ژوئن 2015 است.
12 مقاله ارائه شده در این جلد بودند. به دقت بررسی و از بین 20 مورد ارسالی انتخاب شد. آنها در بخش های موضوعی سازماندهی شده اند: برنامه های کاربردی. پروتکل ها؛ مشخصات و تحلیل؛ تأیید.
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Front Matter....Pages 1-14
Formal Verification of Industrial Critical Software....Pages 1-11
Front Matter....Pages 13-13
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C....Pages 15-30
Intra-procedural Optimization of the Numerical Accuracy of Programs....Pages 31-46
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools....Pages 47-61
Successful Use of Incremental BMC in the Automotive Industry....Pages 62-77
Front Matter....Pages 79-79
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources....Pages 81-95
Model Checking a Server-Side Micro Payment Protocol....Pages 96-110
Front Matter....Pages 111-111
Require, Test and Trace IT....Pages 113-127
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution....Pages 128-145
Timed Mobility and Timed Communication for Critical Systems....Pages 146-161
On the Formal Analysis of Photonic Signal Processing Systems....Pages 162-177
Front Matter....Pages 179-179
Automated Verification of Nested DFS....Pages 181-197
On the Formal Verification of Optical Quantum Gates in HOL....Pages 198-211
Back Matter....Pages 213-213