دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
دانلود کتاب روش های رسمی برای سیستم های انتقادی صنعتی: هفدهمین کارگاه بین المللی ، FMICS 2012 ، پاریس ، فرانسه ، 27 تا 28 آگوست ، 2012. مجموعه مقالات
مشخصات کتاب
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ویرایش: 1 نویسندگان: Nouha Abid, Silvano Dal Zilio (auth.), Mariëlle Stoelinga, Ralf Pinger (eds.) سری: Lecture Notes in Computer Science 7437 ISBN (شابک) : 9783642324680, 9783642324697 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 233 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای سیستم های انتقادی صنعتی: هفدهمین کارگاه بین المللی ، FMICS 2012 ، پاریس ، فرانسه ، 27 تا 28 آگوست ، 2012. مجموعه مقالات: مهندسی نرم‌افزار، منطق و معانی برنامه‌ها، سیستم‌های هدف خاص و مبتنی بر کاربرد، برنامه کامپیوتری. در پردازش داده های اداری، محاسبات توسط دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های انتقادی صنعتی: هفدهمین کارگاه بین المللی ، FMICS 2012 ، پاریس ، فرانسه ، 27 تا 28 آگوست ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای سیستم های انتقادی صنعتی: هفدهمین کارگاه بین المللی ، FMICS 2012 ، پاریس ، فرانسه ، 27 تا 28 آگوست ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات هفدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های انتقادی صنعتی، FMICS 2012 است که در پاریس، فرانسه، در آگوست 2012 برگزار شد. هدف از مجموعه کارگاه های FMICS فراهم کردن یک انجمن برای محققانی است که علاقه مند به توسعه و کاربرد روش های رسمی در صنعت هستند. همچنین برای ارتقای تحقیق و توسعه برای بهبود روش‌ها و ابزارهای رسمی برای کاربردهای صنعتی تلاش می‌کند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 17th
International Workshop on Formal Methods for Industrial
Critical Systems, FMICS 2012, held in Paris, France, in
August 2012.
The 14 papers presented were carefully reviewed and selected
from 37 submissions. 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 -
Real-Time Specification Patterns and Tools....Pages 1-15
Automated Extraction of Abstract Behavioural Models from JMS Applications....Pages 16-31
Certifying and Reasoning on Cost Annotations in C Programs....Pages 32-46
Waiting for Locks: How Long Does It Usually Take?....Pages 47-62
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications....Pages 63-77
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs....Pages 78-92
Range Analysis of Binaries with Minimal Effort....Pages 93-107
Combining Analyses for C Program Verification....Pages 108-130
Model Checking the FlexRay Startup Phase....Pages 131-145
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations....Pages 146-161
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis....Pages 162-176
Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems....Pages 177-191
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java....Pages 192-206
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution....Pages 207-221
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sams Teach Yourself Dreamweaver CS5 in 24 Hours
دانلود کتاب Dangerous women, deadly words: phallic fantasy and modernity in three Japanese writers
دانلود کتاب The Big Book of Decoding Vowels, Grades 1 - 3
دانلود کتاب R&B Fake Book
