آموزش مدل‌سازی کمّی مدل (Quantitative Model Checking)

دانلود Quantitative Model Checking

دوره پیشرفته مدل‌سازی کمّی مدل برای زنجیره‌های مارکوف؛ یادگیری روش‌های تأیید رسمی، سیستم‌های نهفته و تحلیل سیستم‌های پیچیده با استفاده از زنجیره‌های مارکوف. Coursera (کورسرا)