دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
دانلود کتاب روش های رسمی برای سیستم های انتقادی صنعتی: چهاردهمین کارگاه بین المللی ، FMICS 2009 ، آیندهوون ، هلند ، 2-3 نوامبر 2009. مجموعه مقالات
مشخصات کتاب
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
ویرایش: 1 نویسندگان: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.) سری: Lecture Notes in Computer Science 5825 : Programming and Software Engineering ISBN (شابک) : 9783642045707, 3642045707 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 223 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های انتقادی صنعتی: چهاردهمین کارگاه بین المللی ، FMICS 2009 ، آیندهوون ، هلند ، 2-3 نوامبر 2009. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم های هدف خاص و مبتنی بر کاربرد
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های انتقادی صنعتی: چهاردهمین کارگاه بین المللی ، FMICS 2009 ، آیندهوون ، هلند ، 2-3 نوامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای سیستم های انتقادی صنعتی: چهاردهمین کارگاه بین المللی ، FMICS 2009 ، آیندهوون ، هلند ، 2-3 نوامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات چهاردهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2009 است که در آیندهوون، هلند، در نوامبر 2009 برگزار شد. بررسی و از بین 25 مورد ارسالی انتخاب شد. این جلد همچنین شامل 4 مقاله دعوت شده و 6 پوستر می باشد.
هدف از مجموعه کارگاه های FMICS فراهم کردن یک انجمن برای محققانی است که علاقه مند به توسعه و کاربرد روش های رسمی در صنعت هستند. همچنین برای ارتقای تحقیق و توسعه برای بهبود روش‌ها و ابزارهای رسمی برای کاربردهای صنعتی تلاش می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.
The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
فهرست مطالب
Front Matter....Pages -
Attacking Large Industrial Code with Bi-abductive Inference....Pages 1-8
On a Uniform Framework for the Definition of Stochastic Process Languages....Pages 9-25
Applying a Formal Method in Industry: A 15-Year Trajectory....Pages 26-34
What’s in Common between Test, Model Checking, and Decision Procedures?....Pages 35-36
Verifying Cryptographic Software Correctness with Respect to Reference Implementations....Pages 37-52
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software....Pages 53-69
Dynamic State Space Partitioning for External Memory Model Checking....Pages 70-85
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle....Pages 86-101
Modeling Concurrent Systems with Shared Resources....Pages 102-116
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs....Pages 117-132
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models....Pages 133-148
Preemption Abstraction....Pages 149-164
A Rigorous Methodology for Composing Services....Pages 165-180
A Certified Implementation on Top of the Java Virtual Machine....Pages 181-196
Formal Development for Railway Signaling Using Commercial Tools....Pages 197-198
Integrated Formal Approach for Qualified Critical Embedded Code Generator....Pages 199-201
Visualising Event-B Models with B-Motion Studio....Pages 202-204
Behavioural Analysis of an I 2 C Linux Driver....Pages 205-206
Model-Based Testing of Electronic Passports....Pages 207-209
Developing a Decision Support Tool for Dam Management with SPIN....Pages 210-212
Back Matter....Pages -
