دانلود کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، 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
عنوان ترجمه شده به فارسی : مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: سیزدهمین کنفرانس بین المللی، FORMATS 2015، مادرید، اسپانیا، 2-4 سپتامبر 2015، مجموعه مقالات
سری : Lecture Notes in Computer Science 9268
نویسندگان : Sriram Sankaranarayanan, Enrico Vicario (eds.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 332
ISBN (شابک) : 9783319229744 , 9783319229751
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 10 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بینالمللی مدلسازی و تحلیل رسمی سیستمهای زمانبندی شده، 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.