دانلود کتاب 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، مجموعه مقالات) نوشته شده توسط «Martin Fränzle – Nicolas Markey (eds.)»
اطلاعات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer International Publishing
نویسنده: Martin Fränzle – Nicolas Markey (eds.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2016
تعداد صفحه: 252
حجم فایل: 10.48 مگابایت
کد کتاب: 3319448781 , 9783319448787
نوبت چاپ: 1
توضیحات کتاب مدل سازی و تحلیل رسمی سیستم های زمان بندی شده: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2016، در کبک، QC، کانادا، در آگوست 2016 است. p> 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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.