دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
دانلود کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، FORMATS 2015، مادرید، اسپانیا، 2-4 سپتامبر 2015، مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
ویرایش: 1
نویسندگان: Sriram Sankaranarayanan. Enrico Vicario (eds.)
سری: Lecture Notes in Computer Science 9268
ISBN (شابک) : 9783319229744, 9783319229751
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 332
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، FORMATS 2015، مادرید، اسپانیا، 2-4 سپتامبر 2015، مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، مهندسی نرم افزار، برنامه های کاربردی کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، FORMATS 2015، مادرید، اسپانیا، 2-4 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، FORMATS 2015، مادرید، اسپانیا، 2-4 سپتامبر 2015، مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2015، که در سپتامبر 2015 در مادرید، اسپانیا برگزار شد، تشکیل می‌شود.
این کنفرانس تحت چتر سازمان‌دهی شد. رویداد مادرید Meet 2015، یک رویداد یک هفته ای با تمرکز بر حوزه های تحلیل رسمی و کمی سیستم ها، مهندسی عملکرد، ایمنی کامپیوتر و کاربردهای حیاتی صنعتی. 19 مقاله ارائه شده در این جلد به دقت بررسی و از بین 42 مقاله ارسالی اولیه انتخاب شدند.توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.
The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.فهرست مطالب
Front Matter....Pages I-X
Verification and Control of Probabilistic Rectangular Hybrid Automata....Pages 1-9
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets....Pages 10-26
Language Preservation Problems in Parametric Timed Automata....Pages 27-43
Timed Symbolic Dynamics....Pages 44-59
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels....Pages 60-75
Quantitative Analysis of Communication Scenarios....Pages 76-92
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems....Pages 93-107
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling....Pages 108-123
Improving Search Order for Reachability Testing in Timed Automata....Pages 124-139
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata....Pages 140-155
Quantitative Attack Tree Analysis via Priced Timed Automata....Pages 156-171
Fluid Model Checking of Timed Properties....Pages 172-188
Nested Timed Automata with Frozen Clocks....Pages 189-205
Quantitative Analysis of Concurrent Reversible Computations....Pages 206-221
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once....Pages 222-239
Verification and Control of Partially Observable Probabilistic Real-Time Systems....Pages 240-255
Deciding Concurrent Planar Monotonic Linear Hybrid Systems....Pages 256-269
Contracts for Schedulability Analysis....Pages 270-287
Bounded Determinization of Timed Automata with Silent Transitions....Pages 288-304
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems....Pages 305-320
Back Matter....Pages 321-321
