دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Validation of Stochastic Systems: A Guide to Current Research
دانلود کتاب اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
مشخصات کتاب
Validation of Stochastic Systems: A Guide to Current Research
ویرایش: [1 ed.] نویسندگان: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) سری: Lecture Notes in Computer Science 2925 ISBN (شابک) : 3540222650, 9783540246114 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 470 [472] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Validation of Stochastic Systems: A Guide to Current Research به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اعتبار سنجی سیستم های تصادفی: راهنمای تحقیقات فعلی
این جلد آموزشی مقدمه ای منسجم و متعادل برای اعتبارسنجی سیستم های تصادفی ارائه می دهد. این بر اساس یک سمینار تحقیقاتی GI/Dagstuhl است. با نظارت سازمان‌دهندگان سمینار و ویراستاران جلد، محققان مستقر در این منطقه و همچنین دانشجویان فارغ‌التحصیل مجموعه‌ای از مقالات را گرد هم می‌آورند که به خوبی تمام موضوعات مرتبط در آن منطقه را پوشش می‌دهد.
سخنرانی‌ها در بخش‌های موضوعی در مورد: مدل‌سازی سیستم‌های تصادفی، بررسی مدل سیستم‌های تصادفی، نشان‌دهنده فضاهای حالت بزرگ، تأیید قیاسی سیستم‌های تصادفی.
توضیحاتی درمورد کتاب به خارجی
This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area.
The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.
فهرست مطالب
Front Matter....Pages -
Probabilistic Automata: System Types, Parallel Composition and Comparison....Pages 1-43
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions....Pages 44-88
An Overview of Probabilistic Process Algebras and Their Equivalences....Pages 89-123
Verifying Qualitative Properties of Probabilistic Programs....Pages 124-146
On Probabilistic Computation Tree Logic....Pages 147-188
Model Checking for Probabilistic Timed Systems....Pages 189-229
Serial Disk-Based Analysis of Large Stochastic Models....Pages 230-255
Kronecker Based Matrix Representations for Large Markov Models....Pages 256-295
Symbolic Representations and Analysis of Large Probabilistic Systems....Pages 296-338
Probabilistic Methods in State Space Analysis....Pages 339-383
Analysing Randomized Distributed Algorithms....Pages 384-418
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems....Pages 419-444
The Verification of Probabilistic Lossy Channel Systems....Pages 445-465
Back Matter....Pages -
