دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
دانلود کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
ویرایش: 1
نویسندگان: Martin Fränzle. Nicolas Markey (eds.)
سری: Lecture Notes in Computer Science 9884
ISBN (شابک) : 9783319448787, 9783319448770
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 252
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، مهندسی نرم افزار، برنامه های کاربردی کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2016، در کبک، QC، کانادا، در آگوست 2016 است.
14 مقالات ارائه شده در این جلد به دقت بررسی و از بین 32 مقاله ارسالی اولیه انتخاب شدند. آنها در بخش های موضوعی با عنوان: مدل سازی پدیده های زمان بندی شده سازماندهی شده اند. تصادفی و کنترل ترکیبی؛ تأیید و سنتز در زمان واقعی؛ تجزیه و تحلیل حجم کار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.
فهرست مطالب
Front Matter....Pages I-XII
Front Matter....Pages 1-1
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency....Pages 3-18
On the Expressiveness of Parametric Timed Automata....Pages 19-34
Modelling Attack-defense Trees Using Timed Automata....Pages 35-50
Front Matter....Pages 51-51
Input/Output Stochastic Automata....Pages 53-68
On Optimal Control of Stochastic Linear Hybrid Systems....Pages 69-84
Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization....Pages 85-101
Front Matter....Pages 103-103
Real-Time Synthesis is Hard!....Pages 105-120
A Boyer-Moore Type Algorithm for Timed Pattern Matching....Pages 121-139
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata....Pages 140-156
Distributed Algorithms for Time Optimal Reachability Analysis....Pages 157-173
Front Matter....Pages 175-175
Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation....Pages 177-194
A Novel WCET Semantics of Synchronous Programs....Pages 195-210
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC....Pages 211-227
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems....Pages 228-244
Back Matter....Pages 245-245
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Cambridge Companion to Popper
دانلود کتاب Strategic Applications of Distance Learning Technologies (Advances in Distance Education Technologies) (Premier Reference Source)
دانلود کتاب The Special Air Service
