دانلود کتاب Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Name: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures
Availability: InStock
Author: Anne Remke
ISBN: 9783662454886, 9783662454893

by Anne Remke

عنوان فارسی: چک کردن مدل تصادفی. دقیق تجزیه و تحلیل قابلیت اعتماد و اطمینان با استفاده از مدل چک کردن تکنیک برای سیستم های تصادفی: مدرسه بین المللی پاییز، سنگ 2012، Vahrn، ایتالیا، 22-26 اکتبر، 2012، سخنرانی و جوی پیشرفته
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2014
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 281-290
شابک: 9783662454886, 9783662454893
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 7.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!