مشخصات کتاب

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 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

کلمات کلیدی مربوط به کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، 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، مجموعه مقالات

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Progress in Inorganic Chemistry, Volume 49

دانلود کتاب Globalization and Social Change (Routledge Research Advances Inipe)

دانلود کتاب Como a vida se originou?

دانلود کتاب How to Get Dressed: A Costume Designer's Secrets for Making Your Clothes Look, Fit, and Feel Amazing

دانلود کتاب Russia and the Challenge of Fiscal Federalism (World Bank Regional and Sectoral Studies)