دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
دانلود کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: نهمین کنفرانس بین المللی ، FORMATS 2011 ، آلبورگ ، دانمارک ، 21-23 سپتامبر ، 2011. مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
ویرایش: 1 نویسندگان: Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.) سری: Lecture Notes in Computer Science 6919 ISBN (شابک) : 9783642243103, 3642243096 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 363 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: نهمین کنفرانس بین المللی ، FORMATS 2011 ، آلبورگ ، دانمارک ، 21-23 سپتامبر ، 2011. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: نهمین کنفرانس بین المللی ، FORMATS 2011 ، آلبورگ ، دانمارک ، 21-23 سپتامبر ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های به موقع: نهمین کنفرانس بین المللی ، FORMATS 2011 ، آلبورگ ، دانمارک ، 21-23 سپتامبر ، 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2011، برگزار شده در آلبورگ، دانمارک، در سپتامبر 2011 است. و از بین 43 مورد ارسالی انتخاب شد. مقالات در بخش‌های موضوعی در مورد روش‌های احتمالی، استحکام، بازی‌ها، تأیید و آزمایش، تأیید، سیستم‌های ترکیبی و برنامه‌های کاربردی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
فهرست مطالب
Front Matter....Pages -
Performance Evaluation of Schedulers in a Probabilistic Setting....Pages 1-17
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?....Pages 18-24
Interfaces for Control Components....Pages 25-25
Time-Bounded Verification of CTMCs against Real-Time Specifications....Pages 26-42
Performance Model Checking Scenario-Aware Dataflow....Pages 43-59
Probabilistic Real-Time Rewrite Theories and Their Expressive Power....Pages 60-79
Statistical Model Checking for Networks of Priced Timed Automata....Pages 80-96
Robust Model-Checking of Timed Automata via Pumping in Channel Machines....Pages 97-112
Thin and Thick Timed Regular Languages....Pages 113-128
Robust Specification of Real Time Components....Pages 129-144
Minimum Attention Controller Synthesis for Omega-Regular Objectives....Pages 145-159
Crossing the Bridge between Similar Games....Pages 160-176
Exact Incremental Analysis of Timed Automata with an SMT-Solver....Pages 177-192
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems....Pages 193-208
Event Clock Automata: From Theory to Practice....Pages 209-224
On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections....Pages 225-239
Craig Interpolation in the Presence of Non-linear Constraints....Pages 240-255
On the Verification of Timed Ad Hoc Networks....Pages 256-270
Incremental Computation of Succinct Abstractions for Hybrid Systems....Pages 271-285
Composing Stability Proofs for Hybrid Systems....Pages 286-300
Rigorous Discretization of Hybrid Systems Using Process Calculi....Pages 301-316
Model-Based Dependability Analysis of Programmable Drug Infusion Pumps....Pages 317-334
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface....Pages 335-351
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Information und Gestaltung: Untersuchung zur Wirkung visueller Gestaltungstechnik von Fernsehnachrichten
دانلود کتاب Green Jobs (Inside the Industry)
دانلود کتاب Debunking the Myths of Colonization: The Arabs and Europe
دانلود کتاب Інвестиційний аналіз.Навчальний посібник
